list of types with multiple bases only uses first shared base?

i may be misunderstanding something, but it seems that when making a list of types, each with multiple shared base classes, mypy mistakenly infers this to be a list of the first base only, missing others

$ cat mypytest.py
# two different base classes with different attributes
class B1:
    b1 = None


class B2:
    b2 = None


# two classes that subclass both B1 and B2
class S1(B1, B2):
    pass


class S2(B1, B2):
    pass


# a list of the subclasses
types = [S1, S2]

# it seems mypy thinks `types` is List[Type[B1]]
ok = [x.b1 for x in types]
why_not_ok = [x.b2 for x in types]

$ mypy mypytest.py
mypytest.py:24: error: "Type[B1]" has no attribute "b2"

$ mypy --version
mypy 0.770+dev.b2edab25b7e4a6131484bb6edf314e2fa078aee7
$ python -V
Python 3.7.3

Comienza con la reproducción en mypytest.py y ejecútala con mypy para confirmar el tipo inferido y el error. Rastrea cómo se infiere el tipo de una lista de clases con varias clases base compartidas y, a continuación, verifica que tanto b1 como b2 se acepten sin perder la relación de múltiples clases base.