// run-pass

// pretty-expanded FIXME #23616

pub fn main() { let _a = [0; 1 as usize]; }