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