//@ run-pass


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