class A def f(self) Inferred type: (self: A) -> int