Use delay_span_bug in validate-mir. - #147712

Open

cjgillot wants to merge 5 commits into

rust-lang:mainfrom

cjgillot:delay-validate-ice

Commits on Jan 11, 2026

Use delay_span_bug in validate-mir.
cjgillot
committed
714fd63
Remove test made obsolete by MCP#838.
cjgillot
committed
234765c
Flush delayed bugs when exiting miri.
cjgillot
committed
b40d14a
Only delay bugs from type checker.
cjgillot
committed
601ebc8

Commits on Jan 14, 2026

Move checks from cfg and type checker.
cjgillot
committed
99b2038