Ожидаемый тип «Список[A]» (соответствует универсальному типу «Список[_T]»), вместо этого в правильно типизированных спис ⇐ Python

[Anonymous]

Код: Выделить всё

from typing import List

class Base(object):
pass

class A(Base):
pass

class B(Base):
pass

a: List[A] = []
b: List[B] = []
c: List[Base] = a + b

Я получаю ожидаемый тип «Список[A]» (соответствует универсальному типу «Список[_T]»), вместо этого я получил «Список» на b
code>.
Как получить правильные предупреждения, ведь типы, очевидно, в порядке.

Подробнее здесь: https://stackoverflow.com/questions/644 ... tb-instead