在 Python 中禁止 TypeVar 的特定类型

Question

有没有什么办法让这个一个Python的TypeVar是不允许绑定到某些类型的？我知道你可以将 TypeVar 限制为某些类型，有一个上限或将其标记为协变/逆变/不变，但似乎没有办法说“TypeVar 不允许是这些类型”。基本上我想说的是类似于std::enable_if_t<!std::is_base_of_v<NotAllowedType, T>>C++ 的内容。例如，T永远不应该是一个Exception：from typing import Union, Generic, TypeVarT = TypeVar('T')class Expected(Generic[T]):    def __init__(self, value_or_error: Union[T, Exception]):        self._value_or_error = value_or_error    def is_valid(self) -> bool:        return not isinstance(self._value_or_error, Exception)但是没有想到一种直接的方法来强制执行此操作。据我所知，大多数泛型（例如 Java、Scala、Kotlin）不支持这一点，但也许我遗漏了一些东西或者有一个解决方法（？）。