pyright
pyright copied to clipboard
False negative when passing an arbitrary value to a function that takes an argument of type `T`
Pyright should produce an error for the following code, as object
cannot be assigned to T@f
.
from collections.abc import Callable
def f[T](v: object, c: Callable[[], Callable[[T], object]]) -> None:
c()(v)