type narrowing leads to "unreachable" code being actually reachable

Bug Report

To Reproduce

class Foo:
    def foo(self) -> None:
        print("Foo!!!")

class Bar:
    def __init__(self) -> None:
        self.foo: Foo | None = Foo()

    def get_rid_of_foo(self) -> None:
        self.foo = None


bar = Bar()
if bar.foo is not None:
    bar.get_rid_of_foo()
    assert bar.foo is None
    print(1 + "lol")

Expected Behavior

An error for the obviously wrong print(1 + "lol"). It fails there at runtime.

Actual Behavior

no errors!

Your Environment

mypy 0.942 with --python-version 3.10

Führe zuerst den Reproducer mit mypy 0.942 und --python-version 3.10 aus und verfolge anschließend, wie sich das Narrowing um bar.foo nach get_rid_of_foo() verhält. Erledigt ist die Aufgabe, wenn mypy den ungültigen Ausdruck 1 + "lol" meldet und dabei das gültige Narrowing-Verhalten beibehält.