- // MIR for `foo` before ScalarReplacementOfAggregates
+ // MIR for `foo` after ScalarReplacementOfAggregates
  
  fn foo(_1: &[Simd<u8, 16>], _2: Simd<u8, 16>) -> () {
      debug simds => _1;
      debug _unused => _2;
      let mut _0: ();
      let _3: std::simd::Simd<u8, 16>;
      let _4: usize;
      let mut _5: usize;
      let mut _6: bool;
      scope 1 {
          debug a => _3;
      }
  
      bb0: {
          StorageLive(_3);
          StorageLive(_4);
          _4 = const 0_usize;
          _5 = PtrMetadata(copy _1);
          _6 = Lt(copy _4, copy _5);
          assert(move _6, "index out of bounds: the length is {} but the index is {}", move _5, copy _4) -> [success: bb1, unwind continue];
      }
  
      bb1: {
          _3 = copy (*_1)[_4];
          StorageDead(_4);
          StorageDead(_3);
          return;
      }
  }