// run-pass
// pretty-expanded FIXME #23616

pub fn main() {
    let _foo = [0; 2*4];
}