Methods may be inferred as callables with a 'Self' TypeVar that has a bound of the class

Author: davidhalter

conformance/tests/generics_defaults.py

@@ -168,5 +168,6 @@ def meth(self, /) -> Self:
     attr: DefaultIntT
 
 
-assert_type(Foo7.meth, Callable[[Foo7[int]], Foo7[int]])
+foo7 = Foo7()
+assert_type(Foo7.meth(foo7), Foo7[int])
 assert_type(Foo7().attr, int)