- // MIR for `preserve_debuginfo_1` before SimplifyCfg-final
+ // MIR for `preserve_debuginfo_1` after SimplifyCfg-final
  
  fn preserve_debuginfo_1(_1: &Foo, _2: &mut bool) -> i32 {
      debug foo_a => _3;
      debug foo_b => _4;
      debug foo_c => _5;
      let mut _0: i32;
      let mut _3: &i32;
      let mut _4: &i64;
      let mut _5: &i32;
  
      bb0: {
-         goto -> bb1;
-     }
- 
-     bb1: {
          (*_2) = const true;
          // DBG: _3 = &((*_1).0: i32);
-         goto -> bb2;
-     }
- 
-     bb2: {
          // DBG: _4 = &((*_1).1: i64);
          _0 = copy ((*_1).2: i32);
          // DBG: _5 = &((*_1).2: i32);
          return;
      }
  }