Attribute narrowing isn't aware of side effects

This code:

class Foo:
    def __init__(self) -> None:
        self.dirty = False


def test_source() -> None:
    foo = Foo()

    def bar() -> None:
        foo.dirty = True

    assert foo.dirty is False

    bar()

    assert foo.dirty is True
    print("unreachable?")

produces the warning: main.py:17: error: Statement is unreachable, when running mypy --warn-unreachable test.py on 0.780.

Running the same through mypy 0.770 works fine and doesn't produce a warning.

(Also, running the example with pytest -s test.py prints unreachable?, because obviously this line is not unreachable when running the code in python).

Beginne damit, das mitgelieferte Beispiel mit mypy 0.780 und 0.770 unter Verwendung von --warn-unreachable auszuführen, und verfolge dann die an der Closure beteiligte Attribut-Narrowing-Logik, die foo.dirty zuweist. Vergleiche die Behandlung von Seiteneffekten zwischen diesen Versionen; abgeschlossen ist die Aufgabe, wenn das aktuelle Verhalten print("unreachable?") nicht mehr als unerreichbar meldet und dabei gültiges Narrowing beibehält.