- // MIR for `swap` before DestinationPropagation
+ // MIR for `swap` after DestinationPropagation
  
  fn swap() -> (MaybeUninit<[u8; 10]>, MaybeUninit<[u8; 10]>) {
      let mut _0: (std::mem::MaybeUninit<[u8; 10]>, std::mem::MaybeUninit<[u8; 10]>);
      let mut _1: (std::mem::MaybeUninit<[u8; 10]>, std::mem::MaybeUninit<[u8; 10]>);
      let mut _2: (std::mem::MaybeUninit<[u8; 10]>, std::mem::MaybeUninit<[u8; 10]>);
      let mut _3: ();
  
      bb0: {
-         _1 = const swap::{constant#6};
-         _2 = copy _1;
-         _1 = (copy (_2.1: std::mem::MaybeUninit<[u8; 10]>), copy (_2.0: std::mem::MaybeUninit<[u8; 10]>));
-         _0 = copy _1;
+         _0 = const swap::{constant#6};
+         _2 = copy _0;
+         _0 = (copy (_2.1: std::mem::MaybeUninit<[u8; 10]>), copy (_2.0: std::mem::MaybeUninit<[u8; 10]>));
+         nop;
          return;
      }
  }