Skip to content

Treat an argument with no known refinement as unconstrained - #496

Merged
CatarinaGamboa merged 2 commits into
mainfrom
fix/451-sort-mismatch
Nov 6, 2026
Merged

Treat an argument with no known refinement as unconstrained#496
CatarinaGamboa merged 2 commits into
mainfrom
fix/451-sort-mismatch

Skip the equality only for a bare true, not a true-valued expression

54a6de7
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar