- // 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;                   // return place in scope 0 at $DIR/reference_prop.rs:+0:39: +0:44
      let mut _2: &mut usize;              // in scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL
      let mut _3: &mut usize;              // in scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL
      let mut _4: *mut usize;              // in scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL
      let mut _5: *mut usize;              // in scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL
  
      bb0: {
-         _2 = &mut (*_1);                 // scope 0 at $DIR/reference_prop.rs:+10:13: +10:25
-         _3 = &mut (*_2);                 // scope 0 at $DIR/reference_prop.rs:+11:13: +11:26
-         _4 = &raw mut (*_2);             // scope 0 at $DIR/reference_prop.rs:+12:13: +12:30
-         _5 = &raw mut (*_3);             // scope 0 at $DIR/reference_prop.rs:+13:13: +13:30
-         _0 = (*_4);                      // scope 0 at $DIR/reference_prop.rs:+15:13: +15:22
-         _0 = (*_5);                      // scope 0 at $DIR/reference_prop.rs:+16:13: +16:22
+         _0 = (*_1);                      // scope 0 at $DIR/reference_prop.rs:+15:13: +15:22
+         _0 = (*_1);                      // scope 0 at $DIR/reference_prop.rs:+16:13: +16:22
          return;                          // scope 0 at $DIR/reference_prop.rs:+17:13: +17:21
      }
  }