A callable typed function is not recognised as a TypeVar-ed argument

[genglandaer]

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

[JelleZijlstra]

Still reproduces on 1.9.0: https://mypy-play.net/?mypy=latest&python=3.10&gist=bd80437034ccf2a3142a5dc74b1fb7b1

I imagine the code that produces that error doesn't know to look inside the TypeGuard. If so, this should be an easy fix.