abstract class A {
  abstract int instanceField;
  abstract final int finalInstanceField;
  abstract covariant num covariantInstanceField;
}
mixin B {
  abstract int instanceField;
  abstract final int finalInstanceField;
  abstract covariant num covariantInstanceField;
}
main() { }