Incorrect narrowing between two different unions

Bug Report

Narrowing via isinstance and two unions does not seem to do a full crossproduct of possibilities. Spotted when reviewing https://github.com/python/mypy/pull/20743.

To Reproduce

from __future__ import annotations

class A: ...

class B: ...

class C: ...

def f1(x: A | C, t: type[A] | type[B]):
    if isinstance(x, t):
        reveal_type(x)  # N: Revealed type is "__main__.A"
    else:
        reveal_type(x)  # Revealed type is "__main__.A | __main__.C"

Expected Behavior

I would expect the revealed types to be a superset of the results if we did a crossproduct. However, note that <subclass of C and B> is missing. (probably the best way to express this would be to have intersections but... yeah...)

Actual Behavior

Positive branch just has A.

Your Environment

Reproduced in mypy-play

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

Beginne mit dem bereitgestellten Python-Reproducer in mypy-play unter Verwendung von mypy master und Python 3.12 und verfolge anschließend das isinstance-Narrowing-Verhalten in mypy. Als erledigt gilt es, wenn die positiven und negativen reveal_type-Ergebnisse das vollständige in Expected Behavior beschriebene Kreuzprodukt abdecken, einschließlich der fehlenden Möglichkeit einer Unterklasse von C und B.