| class A { | 
 |   @Annotation() | 
 |   external covariant num covariantInstanceField; | 
 |   external covariant var untypedCovariantInstanceField; | 
 |   @Annotation() | 
 |   external final int finalInstanceField; | 
 |   external final untypedFinalInstanceField; | 
 |   @Annotation() | 
 |   external int instanceField; | 
 |   @Annotation() | 
 |   external static final int finalStaticField; | 
 |   external static final untypedFinalStaticField; | 
 |   @Annotation() | 
 |   external static int staticField; | 
 |   external static var untypedStaticField; | 
 |   external var untypedInstanceField; | 
 | } | 
 |  | 
 | class Annotation { | 
 |   const Annotation(); | 
 | } | 
 |  | 
 | class C implements A { | 
 |   external final finalInstanceField; | 
 |   external final untypedFinalInstanceField; | 
 |   external var covariantInstanceField; | 
 |   external var instanceField; | 
 |   external var untypedCovariantInstanceField; | 
 |   external var untypedInstanceField; | 
 | } | 
 |  | 
 | extension Extension on A { | 
 |   @Annotation() | 
 |   external final int finalExtensionInstanceField; | 
 |   external final untypedFinalExtensionInstanceField; | 
 |   @Annotation() | 
 |   external int extensionInstanceField; | 
 |   @Annotation() | 
 |   external static final int finalExtensionStaticField; | 
 |   external static final untypedFinalExtensionStaticField; | 
 |   @Annotation() | 
 |   external static int extensionStaticField; | 
 |   external static var untypedExtensionStaticField; | 
 |   external var untypedExtensionInstanceField; | 
 | } | 
 |  | 
 | @Annotation() | 
 | external final int finalTopLevelField; | 
 |  | 
 | external final untypedFinalTopLevelField; | 
 |  | 
 | @Annotation() | 
 | external int topLevelField; | 
 |  | 
 | external var untypedTopLevelField; | 
 |  | 
 | main() {} | 
 |  | 
 | mixin B { | 
 |   @Annotation() | 
 |   external covariant num covariantInstanceField; | 
 |   external covariant var untypedCovariantInstanceField; | 
 |   @Annotation() | 
 |   external final int finalInstanceField; | 
 |   external final untypedFinalInstanceField; | 
 |   @Annotation() | 
 |   external int instanceField; | 
 |   @Annotation() | 
 |   external static final int finalStaticField; | 
 |   external static final untypedFinalStaticField; | 
 |   @Annotation() | 
 |   external static int staticField; | 
 |   external static var untypedStaticField; | 
 |   external var untypedInstanceField; | 
 | } |