class Annotation {
  const Annotation();
}

@Annotation()
external int topLevelField;
@Annotation()
external final int finalTopLevelField;
external var untypedTopLevelField;
external final untypedFinalTopLevelField;

class A {
  @Annotation()
  external int instanceField;
  @Annotation()
  external final int finalInstanceField;
  @Annotation()
  external covariant num covariantInstanceField;
  @Annotation()
  external static int staticField;
  @Annotation()
  external static final int finalStaticField;
  external var untypedInstanceField;
  external final untypedFinalInstanceField;
  external covariant var untypedCovariantInstanceField;
  external static var untypedStaticField;
  external static final untypedFinalStaticField;
}

mixin B {
  @Annotation()
  external int instanceField;
  @Annotation()
  external final int finalInstanceField;
  @Annotation()
  external covariant num covariantInstanceField;
  @Annotation()
  external static int staticField;
  @Annotation()
  external static final int finalStaticField;
  external var untypedInstanceField;
  external final untypedFinalInstanceField;
  external covariant var untypedCovariantInstanceField;
  external static var untypedStaticField;
  external static final untypedFinalStaticField;
}

extension Extension on A {
  @Annotation()
  external int extensionInstanceField;
  @Annotation()
  external final int finalExtensionInstanceField;
  @Annotation()
  external static int extensionStaticField;
  @Annotation()
  external static final int finalExtensionStaticField;
  external var untypedExtensionInstanceField;
  external final untypedFinalExtensionInstanceField;
  external static var untypedExtensionStaticField;
  external static final untypedFinalExtensionStaticField;
}

class C implements A {
  external var instanceField;
  external final finalInstanceField;
  external var covariantInstanceField;
  external var untypedInstanceField;
  external final untypedFinalInstanceField;
  external var untypedCovariantInstanceField;
}

main() {}