src/test/run-fail/mir_indexing_oob_3.rs

// error-pattern:index out of bounds: the len is 5 but the index is 10

const C: &'static [u8; 5] = b"hello";

#[allow(const_err)]
fn mir() -> u8 {
    C[10]
}

fn main() {
    mir();
}