Union interacts poorly with `isinstance`-based unreachability

Bug Report

This is probably already a bug report but the only place I know where this was mentioned was https://github.com/python/mypy/pull/13607#issuecomment-1236357236.

Including | None in a type makes isinstance type narrowing incorrectly report unreachability. This isn't only a problem with | None.

To Reproduce

class SymbolTableNode: pass
class FuncBase: pass

def bad(node: SymbolTableNode | None) -> None:
    assert isinstance(node, FuncBase)
    reveal_type(node)  # unreachable

def good(node: SymbolTableNode) -> None:
    assert isinstance(node, FuncBase)
    reveal_type(node)  # <subclass of SymbolTableNode and FuncBase>

Expected Behavior

No unreachable statements.

Actual Behavior

Unreachable reveal_type(node).

Your Environment

Reproduced in mypy-play.

• Mypy version used: 1.18.2
• Mypy command-line flags: --warn-unreachable
• Mypy configuration options from mypy.ini (and other config files): N/A
• Python version used: 3.12

Beginne mit dem bereitgestellten Reproducer in mypy-play unter Verwendung von mypy 1.18.2 und --warn-unreachable und vergleiche dabei den Fall Union | None mit dem Fall ohne Union. Verfolge das auf isinstance basierende Narrowing-Verhalten; abgeschlossen ist die Aufgabe, wenn reveal_type(node) im Union-Beispiel nicht als unerreichbar gemeldet wird, während das erwartete Narrowing intakt bleibt.