with undefined() \
        as ((x, (z)), y):  # ty<caret>pe: (io.FileIO, Optional[int]), Any
    pass
with undefined() \
        as ((x, (z)), y):  # ty<caret>pe: (io.FileIO, Optional[int]), Any
    pass
# ty<caret>pe: (io.FileIO, Optional[int]), Any