callable invariance rears its head again

crates/ty_python_semantic/resources/mdtest/generics/pep695/paramspec.md

@@ -478,7 +478,8 @@ class C[**P]:
     def __init__(self, f: Callable[P, int]) -> None:
         self.f = f
 
-def f(x: int, y: str) -> bool:
+# Note that the return type must match exactly, since C is invariant on the return type of C.f.
+def f(x: int, y: str) -> int:
     return True
 
 c = C(f)