fn main() {
    0u8[2]; //~ ERROR E0608
}