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).

Inizia eseguendo l'esempio fornito con mypy 0.780 e 0.770 usando --warn-unreachable, quindi traccia la logica di narrowing degli attributi coinvolta nella closure che assegna foo.dirty. Confronta la gestione degli effetti collaterali tra queste versioni; il lavoro è completato quando il comportamento attuale non segnala più print("unreachable?") come irraggiungibile, preservando al contempo il narrowing valido.