Skip to content

Use try_normalize_erasing_regions in MIR validation#153327

Closed
DukeDeSouth wants to merge 2 commits intorust-lang:mainfrom
DukeDeSouth:fix/ice-140303-normalize-opaque
Closed

Use try_normalize_erasing_regions in MIR validation#153327
DukeDeSouth wants to merge 2 commits intorust-lang:mainfrom
DukeDeSouth:fix/ice-140303-normalize-opaque

Commits

Commits on Mar 3, 2026