//@ run-pass

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