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

Start by running the supplied example with mypy 0.780 and 0.770 using --warn-unreachable, then trace the attribute-narrowing logic involved in the closure that assigns foo.dirty. Compare the handling of side effects between those versions; done means the current behavior no longer reports print("unreachable?") as unreachable while preserving valid narrowing.