Type class unification invalidated the statement: x.__getitem__[i] is not equivalent to x[i].
Attach a file by drag & drop or click to upload
