If I have this runtime implementation: ```python from abc import abstractmethod class A: @abstractmethod def some(self) -> None: raise NotImplementedError ``` And this stub: ```python class A: def some(self) -> None: ... ``` There's no error. Why is that important? Because with the stub like above, mypy will allow to create an instance of `A`. But, mypy should not be allow to do that. I think it is a bug that should be fixed. And it is a pretty easy one.