//@ build-fail
fn main() {
[1][0u64 as usize];
[1][1.5 as usize]; //~ ERROR operation will panic
[1][1u64 as usize]; //~ ERROR operation will panic
}