Error deriving from a composite of two incompatible base classes

Simple repro:

class B1:
    def foo(self) -> int:
        ...

class B2:
    def foo(self) -> str:
        ...

class Composite(B1, B2):  # type: ignore
    ...

class AppClass1(Composite):  # <-- no error here
    ...

class AppClass2(Composite, object):  # <-- error here!
    ...

In the real world case, classes B1, B2 and Composite are part of a library (PEP-561-compliant), and classes AppClass1 and AppClass2 are part of the application code that's being type-checked.

The surprising part is that while AppClass2's declaration causes an error (even though AppClass2 didn't introduce the incompatibility), this error isn't seen in AppClass1's declaration.

Comienza ejecutando la reproducción mínima del issue y compara los diagnósticos de AppClass1 y AppClass2. Rastrea cómo mypy gestiona la herencia de Composite y las definiciones incompatibles de foo en B1 y B2; se considera terminado cuando el comportamiento se entiende de forma coherente y está cubierto por una prueba de regresión.