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.

Reproduziere den Bericht aus test.py mit mypy 0.780 und --strict, wobei der Fokus auf do_thing und _set_my_value_to_bar liegt. Verfolge, wie die Prüfung des Member-Werts über den Methodenaufruf hinweg erhalten bleibt; als erledigt gilt es, wenn die spätere Identitätsprüfung von MyEnum.BAR nicht mehr als nicht überlappend gemeldet wird, wenn der Aufruf das Member mutieren kann.