fn main() {
    [1][0u64 as usize];
    [1][1.5 as usize]; // ERROR index out of bounds
    [1][1u64 as usize]; // ERROR index out of bounds
}