Open
Description
At the point at which the decorator is applied, the class method isn't a callable yet. It's a classmethod object that replies to __get__
to produce the bound method. Yet, MyPy already thinks it's a callable:
from __future__ import annotations
from typing import Callable
def decorate(c: classmethod[None]) -> Callable[[X], None]:
def g(x: X) -> None:
return c.__func__(type(x))
return g
class X:
@decorate # error: Argument 1 to "decorate" has incompatible type "Callable[[Type[X]], None]"; expected "classmethod[None]"
@classmethod
def f(cls) -> None:
print("okay")
x = X()
x.f() # error: Invalid self argument "Type[X]" to class attribute function "f" with type "Callable[[X], None]"