- // MIR for `fn0` before ConstProp
+ // MIR for `fn0` after ConstProp
  
  fn fn0() -> bool {
      let mut _0: bool;
      let mut _1: !;
      let mut _2: (i32, bool);
      let _4: ();
      let mut _6: bool;
      scope 1 {
          debug pair => _2;
          let _3: *mut bool;
          scope 2 {
              debug ptr => _3;
              let _5: bool;
              scope 3 {
              }
              scope 4 {
                  debug ret => _5;
              }
          }
      }
  
      bb0: {
          StorageLive(_2);
          _2 = (const 1_i32, const false);
          StorageLive(_3);
          _3 = &raw mut (_2.1: bool);
          _2 = (const 1_i32, const false);
          StorageLive(_4);
          (*_3) = const true;
          _4 = const ();
          StorageDead(_4);
          StorageLive(_5);
          StorageLive(_6);
          _6 = (_2.1: bool);
          _5 = Not(move _6);
          StorageDead(_6);
          _0 = _5;
          StorageDead(_5);
          StorageDead(_3);
          StorageDead(_2);
          return;
      }
  }