// build-pass
// ignore-pass (emit codegen-time warnings and verify that they are indeed warnings and not errors)

#![warn(const_err)]

fn main() {
    &{ [1, 2, 3][4] };
    //~^ WARN index out of bounds
    //~| WARN reaching this expression at runtime will panic or abort
    //~| WARN erroneous constant used [const_err]
}