singledispatch and TypeVar return type

It seems that singledispatch typing is not very accurate. In particular, it does not respect TypeVar used in the return type:

T = TypeVar("T")

@singledispatch
def my_fun(
    val: T,
) -> List[T]:
    return list(val)

my_fun(5)
my_fun("Ĝis la revido!")

Here the type of the returned value would always be revealed as List[T] instead of different types for different inputs.

首先使用 Python 的 singledispatch typing 重现该示例，并检查相关的 typeshed 定义。确定返回类型中的 TypeVar 是如何处理的；当使用不同参数类型的调用能够揭示出相应的专门化 List 返回类型时，即表示完成。