Типизация Python отклоняет переопределение свойства дочерним элементом его типа. ⇐ Python

[Anonymous]

Вот пример моей проблемы:

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

class Foo:
pass

class FooChild(Foo):
pass

class Bar:
def __init__(self):
self.prop: Foo

class BarChild(Bar):
def __init__(self):
self.prop: FooChild = FooChild()

Здесь у меня есть предупреждение о переопределении свойства prop:

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

"prop" overrides symbol of same name in class "Bar"
Variable is mutable so its type is invariant
Override type "FooChild" is not the same as base type "Foo"

Я не понимаю, почему это ошибка. Дочерний элемент будет реализовывать своего родителя, так почему в этом случае я не могу его переопределить?

Подробнее здесь: https://stackoverflow.com/questions/793 ... f-its-type