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.

Inizia eseguendo la riproduzione minima dell’issue e confronta le diagnostiche per AppClass1 e AppClass2. Traccia come mypy gestisce l’ereditarietà da Composite e le definizioni incompatibili di foo in B1 e B2; il lavoro è completato quando il comportamento è compreso in modo coerente e coperto da un test di regressione.