- // MIR for `read_through_raw` before ReferencePropagation
+ // MIR for `read_through_raw` after ReferencePropagation
  
  fn read_through_raw(_1: &mut usize) -> usize {
      let mut _0: usize;
      let mut _2: &mut usize;
      let mut _3: &mut usize;
      let mut _4: *mut usize;
      let mut _5: *mut usize;
  
      bb0: {
-         _2 = &mut (*_1);
-         _3 = &mut (*_2);
-         _4 = &raw mut (*_2);
-         _5 = &raw mut (*_3);
-         _0 = copy (*_4);
-         _0 = copy (*_5);
+         _0 = copy (*_1);
+         _0 = copy (*_1);
          return;
      }
  }