5 commits

Author	SHA1	Message	Date
Maja Kądziołka	af302a67fd	discriminant reads: make semantics independent of module/crate	2026-01-15 19:12:13 +01:00
Scott McMurray	99cb0c6bc3	Bless *all* the mir-opt tests	2024-08-18 16:07:33 -07:00
Nadrieril	99468bb760	Update tests	2024-08-10 12:07:17 +02:00
Nadrieril	faaf81bbbc	Start blocks eagerly	2024-02-12 17:37:05 +01:00
Camille GILLOT	cb918904fe	Only emit != assumptions if the otherwise target is reachable.	2023-10-31 11:44:23 +00:00