- // MIR for `u8_array` before GVN
+ // MIR for `u8_array` after GVN
  
  fn u8_array() -> [MaybeUninit<u8>; 8] {
      let mut _0: [std::mem::MaybeUninit<u8>; 8];
      let mut _1: std::mem::MaybeUninit<u8>;
      scope 1 (inlined MaybeUninit::<u8>::uninit) {
      }
  
      bb0: {
          StorageLive(_1);
-         _1 = MaybeUninit::<u8> { uninit: const () };
-         _0 = [move _1; 8];
+         _1 = const <uninit>;
+         _0 = const <uninit>;
          StorageDead(_1);
          return;
      }
+ }
+ 
+ ALLOC0 (size: 8, align: 1) {
+     __ __ __ __ __ __ __ __                         │ ░░░░░░░░
+ }
+ 
+ ALLOC1 (size: 1, align: 1) {
+     __                                              │ ░
  }