List[Literal[...]] type being narrowed where it shouldn't be

Bug Report

Adding an if check on a specific index of a List of Literals seems to narrow down its scope, even though the list can be modified and the value at that index can change.

To Reproduce

Run mypy over this piece of code:

foo: List[Literal['a', 'b']] = ['a', 'b', 'a']

if foo[0] == 'a':
    print('a')
    exit()

foo.pop(0)
reveal_type(foo[0])
if foo[0] == 'a':
    pass

Expected Behavior

Revealed type to be Literal['a', 'b'], and the conditional to be valid.

Actual Behavior

t.py:11: note: Revealed type is 'Literal['b']'
t.py:12: error: Non-overlapping equality check (left operand type: "Literal['b']", right operand type: "Literal['a']")

Your Environment

• Mypy version used: 0.790
• Mypy command-line flags: --strict
• Python version used: 3.9.1 64-bit
• Operating system and version: Fedora 33 x86_64

Bắt đầu bằng cách chạy trình tái hiện Python được cung cấp với mypy 0.790 và kiểm tra hành vi thu hẹp kiểu đối với các Lists có thể thay đổi được lập chỉ mục của Literals. Truy vết điểm vào của quá trình thu hẹp đối với foo[0] qua checker; được xem là hoàn tất khi reveal_type(foo[0]) vẫn là Literal['a', 'b'] sau pop(0) và phép kiểm tra bằng nhau ở sau được chấp nhận.