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() {}