src/tools/miri/tests/fail/intrinsics/simd-extract.rs

#![feature(portable_simd, core_intrinsics)]
use std::simd::*;

fn main() {
    let v = i32x4::splat(0);
    let _x: i32 = unsafe { std::intrinsics::simd::simd_extract(v, 4) };
    //~^ERROR: index 4 is out-of-bounds
}