tests/mir-opt/dataflow-const-prop/transmute.unreachable_direct.DataflowConstProp.32bit.diff

   1 - // MIR for `unreachable_direct` before DataflowConstProp
   2 + // MIR for `unreachable_direct` after DataflowConstProp
   3
   4   fn unreachable_direct() -> ! {
   5       let mut _0: !;
   6       let _1: Never;
   7       let mut _2: ();
   8       scope 1 {
   9           debug x => _1;
  10       }
  11       scope 2 {
  12       }
  13
  14       bb0: {
  15           StorageLive(_1);
  16           StorageLive(_2);
  17           _2 = ();
  18           _1 = move _2 as Never (Transmute);
  19           unreachable;
  20       }
  21   }
  22