test() { x:int; x[0] = 1; } //@PRACOWNIA //@should_not_typecheck