Python打字（或mypy）如何处理与IsInstance检查中的联合绑定的TypeVar？

Question

我有以下代码：

from typing import TypeVar, Union

T = TypeVar("T", bound=Union[str, int])

def a(x: T) -> T:
    if isinstance(x, str):
        return x
    return x

但是mypy（使用- strict）提高错误：不兼容的返回值类型（get“ str”，“预期”，“ t”）。

我认为这应该是有效的，因为

1. str-＆gt; str
2. 子类（str） - ＆gt;子类（str）
3. int - ＆gt; int
4. 子类（int） - ＆gt;子类（int）
5. str | int-＆gt; str | INT

因此，Mypy有一个错误，或者（更有可能）我对TypeVars的了解还不够好。

值得注意的：

• 我想拥有str-＆gt; str，int-＆gt; int映射，因此仅使用union [str，int]无法使用。
• 有时使用类型union [str，int]的变量调用此功能，因此使用typeVar [“ t”，str，int]也无法正常工作。