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

Comienza con el reproductor proporcionado en mypy-play usando mypy 1.18.2 y --warn-unreachable, comparando el caso Union | None con el caso sin Union. Rastrea el comportamiento de narrowing basado en isinstance; se considera terminado cuando reveal_type(node) no se reporta como inalcanzable en el ejemplo con Union, mientras el narrowing esperado permanece intacto.