index_out_of_bounds_propagated.rs

//@ build-fail

fn main() {
    let array = [std::env::args().len()];
    array[1]; //~ ERROR operation will panic
}