Python：注释实例化 TypedDicts 的函数

Question

我有一个函数 f ，它接受 TypedDict 类作为参数，并返回该类的实例。

我已经使用 TypeVar 尝试了以下实现。然而，当传递 f 的结果时，mypy 抱怨它没有正确的类型。我将其范围缩小到下面的代码片段：

from typing import Type, TypeVar, TypedDict


T = TypeVar("T")


def f(cls: Type[T]) -> T:
    return cls()


class Foo(TypedDict):
    pass


f_foo: Foo = f(Foo)

reveal_type(f(Foo))

mypy 的输出如下：

test.py:15: error: Incompatible types in assignment (expression has type "Foo", variable has type "Foo")
test.py:17: note: Revealed type is "test.Foo*"

为什么 f(Foo) 的类型是 test.Foo* 而不是 TypedDict('test.Foo', {})?