src/test/run-fail/bounds-check-no-overflow.rs

// error-pattern:index out of bounds

use std::usize;
use std::mem::size_of;

fn main() {
    let xs = [1, 2, 3];
    xs[usize::MAX / size_of::<isize>() + 1];
}