//@ run-pass
#![allow(dead_code, unused)]
type Array = [u32; { let x = 2; 5 }];
pub fn main() {
let _: Array = [0; 5];
}