- // MIR for `pointee` before ElaborateBoxDerefs
+ // MIR for `pointee` after ElaborateBoxDerefs
  
  fn pointee(_1: Box<i32>) -> () {
-     debug foo => (*_1);
+     debug foo => (*((((_1.0: std::ptr::Unique<i32>).0: std::ptr::NonNull<i32>).0: (*const i32) is !null).0: *const i32));
      let mut _0: ();
  
      bb0: {
          return;
      }
  }
  
