#160524 (comment)
When compiling the following with debug assertions:
// rustc ice.rs -Zmir-enable-passes=-SimplifyCfg-initial,-SimplifyCfg-promote-consts,-SimplifyCfg-post-analysis
fn mir_drop<T>(_place: T) {
panic!()
}
fn main() {
mir_drop(());
}
We get an ICE in dataflow during drop elaboration:
thread 'rustc' panicked at compiler/rustc_mir_dataflow/src/framework/cursor.rs:120:9:
assertion failed: self.reachable_blocks.contains(block)
[Full ICE[(https://github.com/user-attachments/files/30888887/rustc-ice-2026-08-10T06_58_41-132370.txt)
#160524 (comment)
When compiling the following with debug assertions:
We get an ICE in dataflow during drop elaboration:
[Full ICE[(https://github.com/user-attachments/files/30888887/rustc-ice-2026-08-10T06_58_41-132370.txt)