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