src/tools/clippy/tests/ui/crashes/ice-12253.rs

//@ check-pass

#[allow(overflowing_literals, unconditional_panic, clippy::no_effect)]
fn main() {
    let arr: [i32; 5] = [0; 5];
    arr[0xfffffe7ffffffffffffffffffffffff];
}