ты щас про ковариантность/контравариантность, верно?

Ты просто на вопросы отвечай

я где-то читал теорию, но уже подзабыл
вроде можешь

Ну проверяй в дартпаде

Это к дарту вообще отношения пока не имеет

Это ООП в любом языке

Именно этот момент ООП в определенной степени обыгрывает LSP и DIP из SOLID'а

Так что?

не, не дает, но мб то глюк какой-то у меня

Что значит не дает?)

The name 'x' is already defined.

фигня какая-то)

так в функции ее определяй

вот узнал новое про дарт, спс)

A x;
x = A();
x = B();
x = C();

сработало

Теперь давай подумаем почему сработало

А является А, B является А и С является А, верно?

Ковариантностью называется сохранение иерархии наследования исходных типов в производных типах в том же порядке. Так, если класс Cat наследуется от класса Animal, то естественно полагать, что перечисление IEnumerable<Cat> будет потомком перечисления IEnumerable<Animal>. Действительно, «список из пяти кошек» — это частный случай «списка из пяти животных». В таком случае говорят, что тип (в данном случае обобщённый интерфейс) IEnumerable<T> ковариантен своему параметру-типу T.
оно?

Ведь В и С это теже А, только потенциально немного расширенные, это понятно?

+