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.

Führe zunächst die minimale Reproduktion aus dem Issue aus und vergleiche die Diagnosen für AppClass1 und AppClass2. Verfolge, wie mypy die Vererbung von Composite und die inkompatiblen foo-Definitionen in B1 und B2 behandelt; fertig ist die Aufgabe, wenn das Verhalten konsistent verstanden und durch einen Regressionstest abgedeckt ist.