- // MIR for `debuginfo` before ReferencePropagation
+ // MIR for `debuginfo` after ReferencePropagation
  
  fn debuginfo() -> () {
      let mut _0: ();                      // return place in scope 0 at $DIR/reference_prop.rs:+0:16: +0:16
      let _1: &mut u8;                     // in scope 0 at $DIR/reference_prop.rs:+3:9: +3:19
      let mut _2: u8;                      // in scope 0 at $DIR/reference_prop.rs:+3:27: +3:31
      let _4: debuginfo::T;                // in scope 0 at $DIR/reference_prop.rs:+4:18: +4:22
      let _6: ();                          // in scope 0 at $DIR/reference_prop.rs:+9:5: +12:6
      let mut _7: std::option::Option<i32>; // in scope 0 at $DIR/reference_prop.rs:+9:11: +9:18
      let mut _8: isize;                   // in scope 0 at $DIR/reference_prop.rs:+10:9: +10:13
      let _10: ();                         // in scope 0 at $DIR/reference_prop.rs:+16:5: +17:6
      let mut _11: &[i32];                 // in scope 0 at $DIR/reference_prop.rs:+16:82: +16:94
      let _12: &[i32];                     // in scope 0 at $DIR/reference_prop.rs:+16:83: +16:94
      let mut _13: &[i32; 10];             // in scope 0 at $DIR/reference_prop.rs:+16:83: +16:90
      let _14: [i32; 10];                  // in scope 0 at $DIR/reference_prop.rs:+16:83: +16:90
      let mut _15: std::ops::RangeFull;    // in scope 0 at $DIR/reference_prop.rs:+16:91: +16:93
      let mut _16: usize;                  // in scope 0 at $DIR/reference_prop.rs:+16:12: +16:79
      let mut _17: usize;                  // in scope 0 at $DIR/reference_prop.rs:+16:12: +16:79
      let mut _18: bool;                   // in scope 0 at $DIR/reference_prop.rs:+16:12: +16:79
      let _23: &&mut u8;                   // in scope 0 at $DIR/reference_prop.rs:+19:28: +19:40
      let _24: &mut u8;                    // in scope 0 at $DIR/reference_prop.rs:+19:29: +19:40
      let mut _25: debuginfo::T;           // in scope 0 at $DIR/reference_prop.rs:+19:34: +19:38
      scope 1 {
-         debug ref_mut_u8 => _1;          // in scope 1 at $DIR/reference_prop.rs:+3:9: +3:19
+         debug ref_mut_u8 => &_2;         // in scope 1 at $DIR/reference_prop.rs:+3:9: +3:19
          let _3: &u8;                     // in scope 1 at $DIR/reference_prop.rs:+4:9: +4:14
          let mut _28: &debuginfo::T;      // in scope 1 at $DIR/reference_prop.rs:+4:17: +4:24
          scope 2 {
-             debug field => _3;           // in scope 2 at $DIR/reference_prop.rs:+4:9: +4:14
+             debug field => &((*_28).0: u8); // in scope 2 at $DIR/reference_prop.rs:+4:9: +4:14
              let _5: &u8;                 // in scope 2 at $DIR/reference_prop.rs:+7:9: +7:17
              scope 3 {
-                 debug reborrow => _5;    // in scope 3 at $DIR/reference_prop.rs:+7:9: +7:17
+                 debug reborrow => &_2;   // in scope 3 at $DIR/reference_prop.rs:+7:9: +7:17
                  let _9: &i32;            // in scope 3 at $DIR/reference_prop.rs:+11:14: +11:31
                  let _22: &&&mut u8;      // in scope 3 at $DIR/reference_prop.rs:+19:9: +19:24
                  let mut _27: &std::option::Option<i32>; // in scope 3 at $DIR/reference_prop.rs:+11:14: +11:31
                  scope 4 {
-                     debug variant_field => _9; // in scope 4 at $DIR/reference_prop.rs:+11:14: +11:31
+                     debug variant_field => &(((*_27) as Some).0: i32); // in scope 4 at $DIR/reference_prop.rs:+11:14: +11:31
                  }
                  scope 5 {
-                     debug constant_index => _19; // in scope 5 at $DIR/reference_prop.rs:+16:16: +16:34
+                     debug constant_index => &(*_11)[1 of 3]; // in scope 5 at $DIR/reference_prop.rs:+16:16: +16:34
                      debug subslice => _20; // in scope 5 at $DIR/reference_prop.rs:+16:36: +16:44
                      debug constant_index_from_end => _21; // in scope 5 at $DIR/reference_prop.rs:+16:51: +16:78
                      let _19: &i32;       // in scope 5 at $DIR/reference_prop.rs:+16:16: +16:34
                      let _20: &[i32];     // in scope 5 at $DIR/reference_prop.rs:+16:36: +16:44
                      let _21: &i32;       // in scope 5 at $DIR/reference_prop.rs:+16:51: +16:78
                      let mut _26: &[i32; 10]; // in scope 5 at $DIR/reference_prop.rs:+16:83: +16:90
                  }
                  scope 6 {
-                     debug multiple_borrow => _22; // in scope 6 at $DIR/reference_prop.rs:+19:9: +19:24
+                     debug multiple_borrow => &&&(_25.0: u8); // in scope 6 at $DIR/reference_prop.rs:+19:9: +19:24
                  }
              }
          }
      }
  
      bb0: {
-         StorageLive(_1);                 // scope 0 at $DIR/reference_prop.rs:+3:9: +3:19
          StorageLive(_2);                 // scope 0 at $DIR/reference_prop.rs:+3:27: +3:31
          _2 = const 5_u8;                 // scope 0 at $DIR/reference_prop.rs:+3:27: +3:31
-         _1 = &mut _2;                    // scope 0 at $DIR/reference_prop.rs:+3:22: +3:31
-         StorageLive(_3);                 // scope 1 at $DIR/reference_prop.rs:+4:9: +4:14
          _28 = const _;                   // scope 1 at $DIR/reference_prop.rs:+4:17: +4:24
                                           // mir::Constant
                                           // + span: $DIR/reference_prop.rs:535:17: 535:24
                                           // + literal: Const { ty: &T, val: Unevaluated(debuginfo, [], Some(promoted[2])) }
-         _3 = &((*_28).0: u8);            // scope 1 at $DIR/reference_prop.rs:+4:17: +4:24
-         StorageLive(_5);                 // scope 2 at $DIR/reference_prop.rs:+7:9: +7:17
-         _5 = &(*_1);                     // scope 2 at $DIR/reference_prop.rs:+7:20: +7:32
-         StorageLive(_6);                 // scope 3 at $DIR/reference_prop.rs:+9:5: +12:6
          StorageLive(_7);                 // scope 3 at $DIR/reference_prop.rs:+9:11: +9:18
          _7 = Option::<i32>::Some(const 0_i32); // scope 3 at $DIR/reference_prop.rs:+9:11: +9:18
          _8 = discriminant(_7);           // scope 3 at $DIR/reference_prop.rs:+9:11: +9:18
          switchInt(move _8) -> [0: bb3, 1: bb1, otherwise: bb2]; // scope 3 at $DIR/reference_prop.rs:+9:5: +9:18
      }
  
      bb1: {
-         StorageLive(_9);                 // scope 3 at $DIR/reference_prop.rs:+11:14: +11:31
          _27 = const _;                   // scope 3 at $DIR/reference_prop.rs:+11:14: +11:31
                                           // mir::Constant
                                           // + span: $DIR/reference_prop.rs:542:14: 542:31
                                           // + literal: Const { ty: &Option<i32>, val: Unevaluated(debuginfo, [], Some(promoted[1])) }
-         _9 = &(((*_27) as Some).0: i32); // scope 3 at $DIR/reference_prop.rs:+11:14: +11:31
-         _6 = const ();                   // scope 4 at $DIR/reference_prop.rs:+11:36: +11:38
-         StorageDead(_9);                 // scope 3 at $DIR/reference_prop.rs:+11:37: +11:38
          goto -> bb4;                     // scope 3 at $DIR/reference_prop.rs:+11:37: +11:38
      }
  
      bb2: {
          unreachable;                     // scope 3 at $DIR/reference_prop.rs:+9:11: +9:18
      }
  
      bb3: {
-         _6 = const ();                   // scope 3 at $DIR/reference_prop.rs:+10:17: +10:19
          goto -> bb4;                     // scope 3 at $DIR/reference_prop.rs:+10:17: +10:19
      }
  
      bb4: {
          StorageDead(_7);                 // scope 3 at $DIR/reference_prop.rs:+12:5: +12:6
-         StorageDead(_6);                 // scope 3 at $DIR/reference_prop.rs:+12:5: +12:6
-         StorageLive(_10);                // scope 3 at $DIR/reference_prop.rs:+16:5: +17:6
          StorageLive(_11);                // scope 5 at $DIR/reference_prop.rs:+16:82: +16:94
          StorageLive(_12);                // scope 5 at $DIR/reference_prop.rs:+16:83: +16:94
          StorageLive(_13);                // scope 5 at $DIR/reference_prop.rs:+16:83: +16:90
          _26 = const _;                   // scope 5 at $DIR/reference_prop.rs:+16:83: +16:90
                                           // mir::Constant
                                           // + span: $DIR/reference_prop.rs:547:83: 547:90
                                           // + literal: Const { ty: &[i32; 10], val: Unevaluated(debuginfo, [], Some(promoted[0])) }
          _13 = &(*_26);                   // scope 5 at $DIR/reference_prop.rs:+16:83: +16:90
          StorageLive(_15);                // scope 5 at $DIR/reference_prop.rs:+16:91: +16:93
          _15 = RangeFull;                 // scope 5 at $DIR/reference_prop.rs:+16:91: +16:93
          _12 = <[i32; 10] as Index<RangeFull>>::index(move _13, move _15) -> bb5; // scope 5 at $DIR/reference_prop.rs:+16:83: +16:94
                                           // mir::Constant
                                           // + span: $DIR/reference_prop.rs:547:83: 547:94
                                           // + literal: Const { ty: for<'a> fn(&'a [i32; 10], RangeFull) -> &'a <[i32; 10] as Index<RangeFull>>::Output {<[i32; 10] as Index<RangeFull>>::index}, val: Value(<ZST>) }
      }
  
      bb5: {
          StorageDead(_15);                // scope 5 at $DIR/reference_prop.rs:+16:93: +16:94
          StorageDead(_13);                // scope 5 at $DIR/reference_prop.rs:+16:93: +16:94
          _11 = &(*_12);                   // scope 5 at $DIR/reference_prop.rs:+16:82: +16:94
          _16 = Len((*_11));               // scope 5 at $DIR/reference_prop.rs:+16:12: +16:79
          _17 = const 3_usize;             // scope 5 at $DIR/reference_prop.rs:+16:12: +16:79
          _18 = Ge(move _16, move _17);    // scope 5 at $DIR/reference_prop.rs:+16:12: +16:79
          switchInt(move _18) -> [0: bb7, otherwise: bb6]; // scope 5 at $DIR/reference_prop.rs:+16:12: +16:79
      }
  
      bb6: {
-         StorageLive(_19);                // scope 5 at $DIR/reference_prop.rs:+16:16: +16:34
-         _19 = &(*_11)[1 of 3];           // scope 5 at $DIR/reference_prop.rs:+16:16: +16:34
          StorageLive(_20);                // scope 5 at $DIR/reference_prop.rs:+16:36: +16:44
          _20 = &(*_11)[2:-1];             // scope 5 at $DIR/reference_prop.rs:+16:36: +16:44
          StorageLive(_21);                // scope 5 at $DIR/reference_prop.rs:+16:51: +16:78
          _21 = &(*_11)[-1 of 3];          // scope 5 at $DIR/reference_prop.rs:+16:51: +16:78
-         _10 = const ();                  // scope 5 at $DIR/reference_prop.rs:+16:95: +17:6
          StorageDead(_21);                // scope 3 at $DIR/reference_prop.rs:+17:5: +17:6
          StorageDead(_20);                // scope 3 at $DIR/reference_prop.rs:+17:5: +17:6
-         StorageDead(_19);                // scope 3 at $DIR/reference_prop.rs:+17:5: +17:6
          goto -> bb8;                     // scope 3 at $DIR/reference_prop.rs:+16:5: +17:6
      }
  
      bb7: {
-         _10 = const ();                  // scope 3 at $DIR/reference_prop.rs:+17:6: +17:6
          goto -> bb8;                     // scope 3 at $DIR/reference_prop.rs:+16:5: +17:6
      }
  
      bb8: {
          StorageDead(_12);                // scope 3 at $DIR/reference_prop.rs:+17:5: +17:6
          StorageDead(_11);                // scope 3 at $DIR/reference_prop.rs:+17:5: +17:6
-         StorageDead(_10);                // scope 3 at $DIR/reference_prop.rs:+17:5: +17:6
-         StorageLive(_22);                // scope 3 at $DIR/reference_prop.rs:+19:9: +19:24
-         StorageLive(_23);                // scope 3 at $DIR/reference_prop.rs:+19:28: +19:40
-         StorageLive(_24);                // scope 3 at $DIR/reference_prop.rs:+19:29: +19:40
          StorageLive(_25);                // scope 3 at $DIR/reference_prop.rs:+19:34: +19:38
          _25 = T(const 6_u8);             // scope 3 at $DIR/reference_prop.rs:+19:34: +19:38
-         _24 = &mut (_25.0: u8);          // scope 3 at $DIR/reference_prop.rs:+19:29: +19:40
-         _23 = &_24;                      // scope 3 at $DIR/reference_prop.rs:+19:28: +19:40
-         _22 = &_23;                      // scope 3 at $DIR/reference_prop.rs:+19:27: +19:40
          _0 = const ();                   // scope 0 at $DIR/reference_prop.rs:+0:16: +20:2
          StorageDead(_25);                // scope 3 at $DIR/reference_prop.rs:+20:1: +20:2
-         StorageDead(_24);                // scope 3 at $DIR/reference_prop.rs:+20:1: +20:2
-         StorageDead(_23);                // scope 3 at $DIR/reference_prop.rs:+20:1: +20:2
-         StorageDead(_22);                // scope 3 at $DIR/reference_prop.rs:+20:1: +20:2
-         StorageDead(_5);                 // scope 2 at $DIR/reference_prop.rs:+20:1: +20:2
-         StorageDead(_3);                 // scope 1 at $DIR/reference_prop.rs:+20:1: +20:2
          StorageDead(_2);                 // scope 0 at $DIR/reference_prop.rs:+20:1: +20:2
-         StorageDead(_1);                 // scope 0 at $DIR/reference_prop.rs:+20:1: +20:2
          return;                          // scope 0 at $DIR/reference_prop.rs:+20:2: +20:2
      }
  }