(🐞) 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

まず、提供されている2つのスニペットを mypy で実行し、type[A | B] への代入に関する診断結果を比較します。関係するジェネリック型変数とユニオンの互換性チェックを追跡します。最初のスニペットがエラーなしで受け入れられ、2つ目の例も引き続き受け入れられれば完了です。