Mypy thinks @classmethod @property is Callable

Viewed 342

Mypy seems to have trouble understanding a property is not a callable method of a class:

from abc import abstractmethod
from typing import Type


class A:
    pass


class B:
    @abstractmethod
    @property
    @classmethod
    def other_type(cls) -> Type[A]:
        pass

    @classmethod
    def __init_subclass__(cls, **kwargs):
        assert issubclass(cls.other_type, A)

Running mypy on the above example results in the following error:

error: Argument 1 to "issubclass" has incompatible type "Callable[[], Type[A]]"; expected "type"  [arg-type]

How can I enforce the correct type, without # type: ignore[arg-type]? I'm using mypy version 0.782 and python 3.7

(Note: I'm running mypy with the --check-untyped-defs flag, so mypy should be scanning the __init_subclass__ method).

0 Answers
Related