Разница между Typevar ('t', a, b) и typevar ('t', bound = Union [a, b]) ⇐ Python

[Anonymous]

В чем разница между следующими двумя типвар s?

Код: Выделить всё

from typing import TypeVar, Union

class A: pass
class B: pass

T = TypeVar("T", A, B)
T = TypeVar("T", bound=Union[A, B])
< /code>
Я считаю, что в Python 3.12 это разница между этими двумя границами < /p>
class Foo[T: (A, B)]: ...
class Foo[T: A | B]: ...
< /code>

Вот пример чего -то, чего я не получаю: это проходит проверку типа ... < /p>
T = TypeVar("T", bound=Union[A, B])

class AA(A):
pass

class X(Generic[T]):
pass

class XA(X[A]):
pass

class XAA(X[AA]):
pass
< /code>
...but с t = typevar ("t", a, b) < /code>, он не работает с < /p>

Ошибка: значение переменной типа «t» из «x» не может быть "aa" < /p>
< /blockquote>

Связанный : Этот вопрос о разнице между Union [a, b] 

и typevar ("t", a, b) .


Подробнее здесь: https://stackoverflow.com/questions/599 ... d-uniona-b