- // MIR for `mut_raw_then_mut_shr` before ReferencePropagation
+ // MIR for `mut_raw_then_mut_shr` after ReferencePropagation
  
  fn mut_raw_then_mut_shr() -> (i32, i32) {
      let mut _0: (i32, i32);
      let mut _1: i32;
      let mut _4: *mut i32;
      let mut _5: &mut i32;
      let _8: ();
      let mut _9: i32;
      let mut _10: i32;
      scope 1 {
          debug x => _1;
          let _2: &mut i32;
          scope 2 {
-             debug xref => _2;
+             debug xref => &_1;
              let _3: *mut i32;
              scope 3 {
-                 debug xraw => _3;
+                 debug xraw => &_1;
                  let _6: &i32;
                  scope 4 {
-                     debug xshr => _6;
+                     debug xshr => &_1;
                      let _7: i32;
                      scope 5 {
                          debug a => _7;
                          scope 6 {
                          }
                      }
                  }
              }
          }
      }
  
      bb0: {
          StorageLive(_1);
          _1 = const 2_i32;
-         StorageLive(_2);
-         _2 = &mut _1;
-         StorageLive(_3);
-         StorageLive(_4);
-         StorageLive(_5);
-         _5 = &mut (*_2);
-         _4 = &raw mut (*_5);
-         _3 = _4;
-         StorageDead(_5);
-         StorageDead(_4);
-         StorageLive(_6);
-         _6 = &(*_2);
          StorageLive(_7);
-         _7 = (*_6);
-         StorageLive(_8);
-         (*_3) = const 4_i32;
-         _8 = const ();
-         StorageDead(_8);
+         _7 = _1;
+         _1 = const 4_i32;
          StorageLive(_9);
          _9 = _7;
          StorageLive(_10);
          _10 = _1;
          _0 = (move _9, move _10);
          StorageDead(_10);
          StorageDead(_9);
          StorageDead(_7);
-         StorageDead(_6);
-         StorageDead(_3);
-         StorageDead(_2);
          StorageDead(_1);
          return;
      }
  }