// Test of types that be be allocated (i.e. are not incomplete etc.)
count a = 5;
int#[2] b = [123, 456];
int#[undefined] var^ c;
any var^ d;
int#[a+1] e = [1,2,3,4,5,6];
int(int) var^ f;