static FOO: i32 = [][0];
//~^ ERROR E0080

fn main() {}