//@ run-pass
#![allow(dead_code, unused)]

type Array = [u32; {  let x = 2; 5 }];

pub fn main() {
    let _: Array = [0; 5];
}