Non-overlapping identity check when member variable mutated by function call

I get the following error in a situation where I think I shouldn’t:

test.py:25: error: Non-overlapping identity check (left operand type: "Literal[MyEnum.FOO]", right operand type: "Literal[MyEnum.BAR]")

Given the following code:

import enum


@enum.unique
class MyEnum(enum.Enum):
    FOO = enum.auto()
    BAR = enum.auto()


class MyClass:
    __slots__ = (
        "_my_value",
    )

    _my_value: MyEnum

    def __init__(self) -> None:
        super().__init__()
        self._my_value = MyEnum.FOO

    def do_thing(self) -> None:
        if self._my_value is MyEnum.FOO:
            self._set_my_value_to_bar()
            # self._my_value = MyEnum.BAR
            if self._my_value is MyEnum.BAR:
                print("And yet, the value was BAR!")

    def _set_my_value_to_bar(self) -> None:
        self._my_value = MyEnum.BAR


if __name__ == "__main__":
    x = MyClass()
    x.do_thing()

If I uncomment the commented line, the error goes away. It seems that Mypy does not understand that a method call might mutate member variables of the class, obsoleting any prior checks of their values.

This is when running version 0.780 with --strict.

Riproduci il report di test.py usando mypy 0.780 con --strict, concentrandoti su do_thing e _set_my_value_to_bar. Traccia come il controllo del valore del membro viene mantenuto attraverso la chiamata al metodo; il lavoro è completato quando il successivo controllo di identità di MyEnum.BAR non viene più segnalato come non sovrapposto quando la chiamata può mutare il membro.