rust/compiler/rustc_mir_transform
bors 7e4b8d702f Auto merge of #146659 - cjgillot:impossible-taint, r=oli-obk
Consider errors in MIR as impossible predicates to empty the body.

The ICEs come from elaborating drops or performing state transform in MIR bodies that fail typeck or borrowck.

If the body is tainted, replace it with `unreachable`.

Fixes https://github.com/rust-lang/rust/issues/122630
Fixes https://github.com/rust-lang/rust/issues/122904
Fixes https://github.com/rust-lang/rust/issues/125185
Fixes https://github.com/rust-lang/rust/issues/139556
2025-09-21 16:28:12 +00:00
..
src Auto merge of #146659 - cjgillot:impossible-taint, r=oli-obk 2025-09-21 16:28:12 +00:00
Cargo.toml Introduce ValueSet. 2025-09-13 17:14:04 +00:00
messages.ftl coverage: Remove all unstable support for MC/DC instrumentation 2025-08-06 22:38:52 +10:00