1 - // MIR for `unreachable_direct` before ConstProp
2 + // MIR for `unreachable_direct` after ConstProp
4 fn unreachable_direct() -> ! {
5 let mut _0: !; // return place in scope 0 at $DIR/transmute.rs:+0:39: +0:40
6 let _1: Never; // in scope 0 at $DIR/transmute.rs:+1:9: +1:10
7 let mut _2: (); // in scope 0 at $DIR/transmute.rs:+1:39: +1:41
9 debug x => _1; // in scope 1 at $DIR/transmute.rs:+1:9: +1:10
15 StorageLive(_1); // scope 0 at $DIR/transmute.rs:+1:9: +1:10
16 StorageLive(_2); // scope 2 at $DIR/transmute.rs:+1:39: +1:41
17 _2 = (); // scope 2 at $DIR/transmute.rs:+1:39: +1:41
18 _1 = move _2 as Never (Transmute); // scope 2 at $DIR/transmute.rs:+1:29: +1:42
19 unreachable; // scope 2 at $DIR/transmute.rs:+1:29: +1:42