mypy cannot detect class attribute change if asserted but modified in external call

Bug Report

mypy cannot detect class attribute change if assert but modified in external call
This is a case found when I'm trying to check the close status first, and after some logic, close it then.

The print(1) in f1() is reachable, but mypy think Statement is unreachable because we asserted assert not self._closed first, however, it was changed in the close() call
For the f2() we modify the self._close inplace, so mypy is happy with it.

I think it may be hard and not worth to fix, just reported to let you know. :)

To Reproduce

save the code and then run mypy --warn-unreachable assert_but_change.py

# assert_but_change.py
class Foo:
    def __init__(self) -> None:
        self._closed = False

    def f1(self) -> None:
        assert not self._closed

        # do some logic
        self.close()

        if self._closed:
            print(1)

    def close(self) -> None:
        self._closed = True

    def f2(self) -> None:
        assert not self._closed
        self._closed = True

        if self._closed:
            print(1)

Expected Behavior

the print(1) in f1() is reachable, mypy should not complain
just like the print(1) in f2()

Actual Behavior

Statement is unreachable

Your Environment

• Mypy version used: mypy 0.971
• Mypy command-line flags: --warn-unreachable
• Mypy configuration options from mypy.ini (and other config files): No
• Python version used: cpython 3.9.4
• Operating system and version: windows 10

Beginne mit der bereitgestellten assert_but_change.py-Reproduktion und führe mypy --warn-unreachable dagegen aus. Verfolge, wie die Assertion, der externe close()-Aufruf und die spätere self._closed-Prüfung analysiert werden, und überprüfe anschließend, dass f1() die erreichbare print(1) nicht mehr als unerreichbar meldet, während f2() weiterhin gültig bleibt.