tests/mir-opt/const_prop/transmute.unreachable_box.ConstProp.diff

   1 - // MIR for `unreachable_box` before ConstProp
   2 + // MIR for `unreachable_box` after ConstProp
   3
   4   fn unreachable_box() -> ! {
   5       let mut _0: !;                       // return place in scope 0 at $DIR/transmute.rs:+0:36: +0:37
   6       let mut _1: !;                       // in scope 0 at $DIR/transmute.rs:+0:38: +3:2
   7       let _2: std::boxed::Box<Never>;      // in scope 0 at $DIR/transmute.rs:+1:9: +1:10
   8       let mut _3: !;                       // in scope 0 at $DIR/transmute.rs:+2:5: +2:16
   9       scope 1 {
  10           debug x => _2;                   // in scope 1 at $DIR/transmute.rs:+1:9: +1:10
  11       }
  12       scope 2 {
  13       }
  14
  15       bb0: {
  16           StorageLive(_1);                 // scope 0 at $DIR/transmute.rs:+0:38: +3:2
  17           StorageLive(_2);                 // scope 0 at $DIR/transmute.rs:+1:9: +1:10
  18           _2 = const 1_usize as std::boxed::Box<Never> (Transmute); // scope 2 at $DIR/transmute.rs:+1:34: +1:52
  19           StorageLive(_3);                 // scope 1 at $DIR/transmute.rs:+2:5: +2:16
  20           unreachable;                     // scope 1 at $DIR/transmute.rs:+2:11: +2:13
  21       }
  22   }
  23