With statement 'as' target cannot be arbitrary lvalue

[JukkaL]

Code like this should be valid, but mypy complains about it:

y={}
with open('x.txt') as y[1]:
    print(y[1])

Mypy only allows a name to be on the rhs of as, but any lvalue should be valid.