A callable typed function is not recognised as a TypeVar-ed argument #17029
Description
Bug Report
I give my function a typed Callable, I get an error:
To Reproduce
def type_guard(x: Any, type_check_func: Callable[[Any], TypeGuard[T]]) -> T:
if not type_check_func(x):
raise TypeError("failed type assetion")
return x
def is_string(x: Any) -> TypeGuard[str]:
return isinstance(x, str)
data = "helloworld"
val = type_guard(data, is_string)
Expected Behavior
Should not error
Actual Behavior
A function returning TypeVar should receive at least one argument containing the same TypeVar [type-var]
Your Environment
- Mypy version used: 1.4.1