blob: 896608e7eff5d4f9ca7d48cbe756e9d832ff171c [file] [log] [blame]
- // MIR for `unreachable_direct` before ConstProp
+ // MIR for `unreachable_direct` after ConstProp
fn unreachable_direct() -> ! {
let mut _0: !;
let _1: Never;
let mut _2: ();
scope 1 {
debug x => _1;
}
scope 2 {
}
bb0: {
StorageLive(_1);
StorageLive(_2);
_2 = ();
_1 = move _2 as Never (Transmute);
unreachable;
}
}