如何强制mypy的显示类型显示超级类型？

Question

Given：

from typing import TypeVar, Generic, Sequence

T = TypeVar("T")

class A(Generic[T]):
    pass

class B(A[Sequence[T]], Generic[T]):
    pass

b: B[int] = B()

reveal_type(b)如预期的那样B[int]。有没有办法让reveal_type告诉我A[Sequence[int]]

在这个简单的例子中，这是没有用的，但是在这个例子中，我正在调试如何在给定参数化子类型的情况下参数化超类型，而不必手动连接点（并且可能与mypy的推断相矛盾），这将使事情变得更清楚

Answer 1

您可以编写一个助手：

def as_a(a: A[T]) -> A[T]:
    return a

reveal_type(as_a(b))

在mypy操场上，这显示了main.A[typing.Sequence*[builtins.int*]]。（Apparently星号标记在类型变量替换期间推断的类型。）