test() { i:bool; a:int[i][]; } //@PRACOWNIA //@should_not_typecheck