Последовательность дочерних классов требует пустого создания экземпляра ⇐ Python

[Anonymous]

Подумайте об этом:
class Foo(): ...
class Child1(Foo): ...
class Child2(Foo): ...

my_list: list[Foo] = [Child1()]
my_list.append(Child2())

Все хорошо, никаких ошибок при вводе!
А теперь подумайте вот о чем:
def list_of_child1() -> list[Child1]:
return [Child1(), Child1()]

my_list2: list[Foo] = list_of_child1()

Type "list[Child1]" is not assignable to declared type "list[Foo]"
"list[Child1]" is not assignable to "list[Foo]"
Type parameter "_T@list" is invariant, but "Child1" is not the same as "Foo"
Consider switching from "list" to "Sequence" which is covariant

Это имеет большой смысл, и мы можем использовать Sequence:
my_list3: Sequence[Foo] = list_of_child1()
my_list3.append(Child2())

Однако это вызывает вопросы:
Argument of type "Child2" cannot be assigned to parameter "object" of type "Child1" in function "append"
"Child2" is not assignable to "Child1"

Каким-то образом последовательность перезаписывает свое первоначальное объявление и приводится к списку[Child1]?
Но это работает?
my_list4: Sequence[Foo] = []
my_list4.extend(list_of_child1())
my_list4.append(Child2())


Подробнее здесь: https://stackoverflow.com/questions/797 ... tantiation