T
Size: a a a
T
s
T
s
s
A
T
T
A
A
T
s
T
T
s
T
SH
class Cat extends Animal {И потом вот так:
@override
void chase(covariant Mouse x) { print ('chasing the $x'); }
}
Animal cat = Cat();То код будет считаться верным, но в рантайме выкинет TypeError. Возможно ли на этапе компиляции проверять подтип?
cat.chase(Alligator());
s
T
T