test(x:int[43]) { } //@PRACOWNIA //@should_not_typecheck