Right now this code is not an error: ```python class A: def some(self) -> int: ... class B(A): def some(self) -> int: ... ``` But, it is not a good style. I propose to add a check for this. Related https://github.com/python/typeshed/pull/7073