Why doesn’t Pyright check that methods have a consistent type during multiple inheritance?

[Pyprohly]

Pyright does not check that methods have a consistent type during multiple inheritance.

For instance, in the following:

class A:
    def f(self) -> int:
        return 1

class B:
    def f(self) -> str:
        return 'b'

class C(A, B): pass

Mypy (0.910) says:

file.py:10: error: Definition of "f" in base class "A" is incompatible with definition in base class "B"

But Pyright (1.1.166) doesn’t complain.

[erictraut]

It's a good suggestion. I've added an enhancement request issue here: #2273.

[erictraut]

This will be included in the next release of pyright.