blob: 0f1df96231ff43f696e630d678d171a8cfca1766 [file] [log] [blame]
class A {
late num ;
invariantField;
covariant late num ;
covariantField;
}
abstract class B implements A {
get invariantField;
set invariantField(value);
get covariantField;
set covariantField(value);
}
abstract class C implements A {
int get invariantField;
void set invariantField(int value) { }
int get covariantField;
void set covariantField(int value) { }
}
abstract class D implements A {
int get invariantField;
void set invariantField(covariant int value) { }
int get covariantField;
void set covariantField(covariant int value) { }
}
main() { }