(🐞) False error with assignment of generic union of types to the same union of types

from typing import TypeVar

class A: pass
class B: pass

T_AB = TypeVar("T_AB", bound=A | B)

def foo(t: type[T_AB]) -> None:
    x: type[A | B] = t  # error

It works when the type is in the bound:

from typing import TypeVar

class A: pass
class B: pass

T_AB = TypeVar("T_AB", bound=type[A | B])

def foo(t: T_AB) -> None:
    x: type[A | B] = t  # no error

Beginne damit, die beiden bereitgestellten Snippets mit mypy auszuführen und die Diagnose bei der Zuweisung an type[A | B] zu vergleichen. Verfolge die dabei durchgeführten Prüfungen der Kompatibilität von generischen Typparametern und Unions. Als erledigt gilt die Aufgabe, wenn das erste Snippet ohne Fehler akzeptiert wird und das zweite Beispiel weiterhin akzeptiert wird.