about summary refs log tree commit diff
path: root/compiler/rustc_interface/src/util.rs
diff options
context:
space:
mode:
authorbors <bors@rust-lang.org>2025-09-21 16:28:12 +0000
committerbors <bors@rust-lang.org>2025-09-21 16:28:12 +0000
commit7e4b8d702fedccc9c7803773a22c2e053ac3b004 (patch)
treeae4e99039510dd23b4670854c09def488480a416 /compiler/rustc_interface/src/util.rs
parent6710835ae739ca326441ff6c63d24fb123858300 (diff)
parent3934fc9eb29061168327640ba7b9ca8f79ba01e2 (diff)
downloadrust-7e4b8d702fedccc9c7803773a22c2e053ac3b004.tar.gz
rust-7e4b8d702fedccc9c7803773a22c2e053ac3b004.zip
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
Diffstat (limited to 'compiler/rustc_interface/src/util.rs')
0 files changed, 0 insertions, 0 deletions