为什么这个 Python 类型提示在 Pyright 中产生错误而不是在 MyPy 中产生错误？

如何解决为什么这个 Python 类型提示在 Pyright 中产生错误而不是在 MyPy 中产生错误？

我有以下一段代码：

from typing import TypeVar,Callable,Any

T = TypeVar("T")

def test(t: T,s: Callable[[T],Any] = (lambda x: x)) -> None:
    print(s(t))

test(1)

运行 pyright test.py 会产生以下错误：

  8:1 - error: Argument of type "(x: T@test) -> T@test" cannot be assigned to parameter "s" of type "(_p0: T@test) -> Any" in function "test"
    Type "(x: T@test) -> T@test" cannot be assigned to type "(_p0: T@test) -> Any"
      Parameter 1: type "T@test" cannot be assigned to type "T@test"
        Type "Literal[1]" cannot be assigned to type "T@test" (reportGeneralTypeIssues)

使用 mypy 时不会出现同样的错误。

奇怪的是，如果我明确地将 s 传递给 test，错误不会发生：

test(1,lambda x: x)