- // MIR for `rewrap` before DestinationPropagation
+ // MIR for `rewrap` after DestinationPropagation
  
  fn rewrap() -> (u8,) {
      let mut _0: (u8,);
      let mut _1: (u8,);
      let mut _2: (u8,);
  
      bb0: {
-         (_1.0: u8) = const 0_u8;
-         _0 = copy _1;
+         (_0.0: u8) = const 0_u8;
+         nop;
          _2 = (copy (_0.0: u8),);
          _0 = copy _2;
          return;
      }
  }