Propper inheritance with staticmethod

[InvisibleHandOfDoom]

If have following code

from typing import Type, TypeVar

T = TypeVar("T")

class Foo:
    @classmethod
    def load(cls: Type[T]) -> T: ...

class Bar(Foo):
    @classmethod
    def load(cls: Type[Bar]) -> Bar:
        return cls()

which, fails to type check, with:

test.pyi:11: error: Return type "Bar" of "load" incompatible with return type <nothing> in supertype "Foo"

To my confusion it type check if I modify parent signature to:

from typing import Type, TypeVar

T = TypeVar("T")

class Foo:
    @classmethod
    def load(cls: T) -> T: ...

class Bar(Foo):
    @classmethod
    def load(cls: Type[Bar]) -> Bar:
        return cls()

• Mypy version mypy-0.730+dev.63380783f032ee17c8cf0560dd81cf734bf36103
• No custom flags

[ilevkivskyi]

Thanks for reporting!

This looks like another duplicate of #2511