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