| //@ build-fail | |
| //@ compile-flags: -C overflow-checks=on | |
| //@ dont-require-annotations: NOTE | |
| #![allow(arithmetic_overflow, unconditional_panic)] | |
| fn black_box<T>(_: T) { | |
| unimplemented!() | |
| } | |
| struct S<T>(T); | |
| impl<T> S<T> { | |
| const FOO: u8 = [5u8][1]; | |
| //~^ ERROR index out of bounds: the length is 1 but the index is 1 | |
| //~| ERROR index out of bounds: the length is 1 but the index is 1 | |
| } | |
| fn main() { | |
| black_box((S::<i32>::FOO, S::<u32>::FOO)); //~ NOTE constant | |
| } |