| abstract class B implements A { |
| get covariantField; |
| get invariantField; |
| set covariantField(value); |
| set invariantField(value); |
| } |
| |
| abstract class C implements A { |
| int get covariantField; |
| int get invariantField; |
| void set covariantField(int value) {} |
| void set invariantField(int value) {} |
| } |
| |
| abstract class D implements A { |
| int get covariantField; |
| int get invariantField; |
| void set covariantField(covariant int value) {} |
| void set invariantField(covariant int value) {} |
| } |
| |
| class A { |
| covariant num covariantField; |
| num invariantField; |
| } |
| |
| main() {} |