about summary refs log tree commit diff
path: root/compiler/rustc_interface/src
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
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')
0 files changed, 0 insertions, 0 deletions