() f() { int#[3]#[3] nested = [ [11,12,13], [21,22,23], [31,32,33] ]; int#[3] arr = [1,2,3]; for bool b in arr { } // ERROR for int#[2] inner in nested { } // ERROR }