library /*isNonNullableByDefault*/;
import self as self;
import "dart:core" as core;

class Annotation extends core::Object /*hasConstConstructor*/  {
  const constructor •() → self::Annotation
    : super core::Object::•()
    ;
}
class A extends core::Object {
  synthetic constructor •() → self::A
    ;
  @self::Annotation::•()
  external get instanceField() → core::int;
  @self::Annotation::•()
  external set instanceField(core::int #externalFieldValue) → void;
  @self::Annotation::•()
  external get finalInstanceField() → core::int;
  @self::Annotation::•()
  external get covariantInstanceField() → core::num;
  @self::Annotation::•()
  external set covariantInstanceField(covariant core::num #externalFieldValue) → void;
  @self::Annotation::•()
  external static get staticField() → core::int;
  @self::Annotation::•()
  external static set staticField(core::int #externalFieldValue) → void;
  @self::Annotation::•()
  external static get finalStaticField() → core::int;
  external get untypedInstanceField() → dynamic;
  external set untypedInstanceField(dynamic #externalFieldValue) → void;
  external get untypedFinalInstanceField() → dynamic;
  external get untypedCovariantInstanceField() → dynamic;
  external set untypedCovariantInstanceField(covariant dynamic #externalFieldValue) → void;
  external static get untypedStaticField() → dynamic;
  external static set untypedStaticField(dynamic #externalFieldValue) → void;
  external static get untypedFinalStaticField() → dynamic;
}
abstract class B extends core::Object /*isMixinDeclaration*/  {
  @self::Annotation::•()
  external get instanceField() → core::int;
  @self::Annotation::•()
  external set instanceField(core::int #externalFieldValue) → void;
  @self::Annotation::•()
  external get finalInstanceField() → core::int;
  @self::Annotation::•()
  external get covariantInstanceField() → core::num;
  @self::Annotation::•()
  external set covariantInstanceField(covariant core::num #externalFieldValue) → void;
  @self::Annotation::•()
  external static get staticField() → core::int;
  @self::Annotation::•()
  external static set staticField(core::int #externalFieldValue) → void;
  @self::Annotation::•()
  external static get finalStaticField() → core::int;
  external get untypedInstanceField() → dynamic;
  external set untypedInstanceField(dynamic #externalFieldValue) → void;
  external get untypedFinalInstanceField() → dynamic;
  external get untypedCovariantInstanceField() → dynamic;
  external set untypedCovariantInstanceField(covariant dynamic #externalFieldValue) → void;
  external static get untypedStaticField() → dynamic;
  external static set untypedStaticField(dynamic #externalFieldValue) → void;
  external static get untypedFinalStaticField() → dynamic;
}
class C extends core::Object implements self::A {
  synthetic constructor •() → self::C
    ;
  external get instanceField() → core::int;
  external set instanceField(core::int #externalFieldValue) → void;
  external get finalInstanceField() → core::int;
  external get covariantInstanceField() → core::num;
  external set covariantInstanceField(covariant core::num #externalFieldValue) → void;
  external get untypedInstanceField() → dynamic;
  external set untypedInstanceField(dynamic #externalFieldValue) → void;
  external get untypedFinalInstanceField() → dynamic;
  external get untypedCovariantInstanceField() → dynamic;
  external set untypedCovariantInstanceField(covariant dynamic #externalFieldValue) → void;
}
extension Extension on self::A {
  get extensionInstanceField = self::Extension|get#extensionInstanceField;
  set extensionInstanceField = self::Extension|set#extensionInstanceField;
  get finalExtensionInstanceField = self::Extension|get#finalExtensionInstanceField;
  static get extensionStaticField = get self::Extension|extensionStaticField;
  static set extensionStaticField = set self::Extension|extensionStaticField;
  static get finalExtensionStaticField = get self::Extension|finalExtensionStaticField;
  get untypedExtensionInstanceField = self::Extension|get#untypedExtensionInstanceField;
  set untypedExtensionInstanceField = self::Extension|set#untypedExtensionInstanceField;
  get untypedFinalExtensionInstanceField = self::Extension|get#untypedFinalExtensionInstanceField;
  static get untypedExtensionStaticField = get self::Extension|untypedExtensionStaticField;
  static set untypedExtensionStaticField = set self::Extension|untypedExtensionStaticField;
  static get untypedFinalExtensionStaticField = get self::Extension|untypedFinalExtensionStaticField;
}
@self::Annotation::•()
external static get topLevelField() → core::int;
@self::Annotation::•()
external static set topLevelField(core::int #externalFieldValue) → void;
@self::Annotation::•()
external static get finalTopLevelField() → core::int;
external static get untypedTopLevelField() → dynamic;
external static set untypedTopLevelField(dynamic #externalFieldValue) → void;
external static get untypedFinalTopLevelField() → dynamic;
@self::Annotation::•()
external static method Extension|get#extensionInstanceField(self::A #this) → core::int;
@self::Annotation::•()
external static method Extension|set#extensionInstanceField(self::A #this, core::int #externalFieldValue) → void;
@self::Annotation::•()
external static method Extension|get#finalExtensionInstanceField(self::A #this) → core::int;
@self::Annotation::•()
external static get Extension|extensionStaticField() → core::int;
@self::Annotation::•()
external static set Extension|extensionStaticField(core::int #externalFieldValue) → void;
@self::Annotation::•()
external static get Extension|finalExtensionStaticField() → core::int;
external static method Extension|get#untypedExtensionInstanceField(self::A #this) → dynamic;
external static method Extension|set#untypedExtensionInstanceField(self::A #this, dynamic #externalFieldValue) → void;
external static method Extension|get#untypedFinalExtensionInstanceField(self::A #this) → dynamic;
external static get Extension|untypedExtensionStaticField() → dynamic;
external static set Extension|untypedExtensionStaticField(dynamic #externalFieldValue) → void;
external static get Extension|untypedFinalExtensionStaticField() → dynamic;
static method main() → dynamic
  ;


Extra constant evaluation status:
Evaluated: ConstructorInvocation @ org-dartlang-testcase:///external_fields.dart:21:4 -> InstanceConstant(const Annotation{})
Evaluated: ConstructorInvocation @ org-dartlang-testcase:///external_fields.dart:21:4 -> InstanceConstant(const Annotation{})
Evaluated: ConstructorInvocation @ org-dartlang-testcase:///external_fields.dart:24:4 -> InstanceConstant(const Annotation{})
Evaluated: ConstructorInvocation @ org-dartlang-testcase:///external_fields.dart:27:4 -> InstanceConstant(const Annotation{})
Evaluated: ConstructorInvocation @ org-dartlang-testcase:///external_fields.dart:27:4 -> InstanceConstant(const Annotation{})
Evaluated: ConstructorInvocation @ org-dartlang-testcase:///external_fields.dart:30:4 -> InstanceConstant(const Annotation{})
Evaluated: ConstructorInvocation @ org-dartlang-testcase:///external_fields.dart:30:4 -> InstanceConstant(const Annotation{})
Evaluated: ConstructorInvocation @ org-dartlang-testcase:///external_fields.dart:33:4 -> InstanceConstant(const Annotation{})
Evaluated: ConstructorInvocation @ org-dartlang-testcase:///external_fields.dart:48:4 -> InstanceConstant(const Annotation{})
Evaluated: ConstructorInvocation @ org-dartlang-testcase:///external_fields.dart:48:4 -> InstanceConstant(const Annotation{})
Evaluated: ConstructorInvocation @ org-dartlang-testcase:///external_fields.dart:51:4 -> InstanceConstant(const Annotation{})
Evaluated: ConstructorInvocation @ org-dartlang-testcase:///external_fields.dart:54:4 -> InstanceConstant(const Annotation{})
Evaluated: ConstructorInvocation @ org-dartlang-testcase:///external_fields.dart:54:4 -> InstanceConstant(const Annotation{})
Evaluated: ConstructorInvocation @ org-dartlang-testcase:///external_fields.dart:57:4 -> InstanceConstant(const Annotation{})
Evaluated: ConstructorInvocation @ org-dartlang-testcase:///external_fields.dart:57:4 -> InstanceConstant(const Annotation{})
Evaluated: ConstructorInvocation @ org-dartlang-testcase:///external_fields.dart:60:4 -> InstanceConstant(const Annotation{})
Evaluated: ConstructorInvocation @ org-dartlang-testcase:///external_fields.dart:10:2 -> InstanceConstant(const Annotation{})
Evaluated: ConstructorInvocation @ org-dartlang-testcase:///external_fields.dart:10:2 -> InstanceConstant(const Annotation{})
Evaluated: ConstructorInvocation @ org-dartlang-testcase:///external_fields.dart:13:2 -> InstanceConstant(const Annotation{})
Evaluated: ConstructorInvocation @ org-dartlang-testcase:///external_fields.dart:75:4 -> InstanceConstant(const Annotation{})
Evaluated: ConstructorInvocation @ org-dartlang-testcase:///external_fields.dart:75:4 -> InstanceConstant(const Annotation{})
Evaluated: ConstructorInvocation @ org-dartlang-testcase:///external_fields.dart:78:4 -> InstanceConstant(const Annotation{})
Evaluated: ConstructorInvocation @ org-dartlang-testcase:///external_fields.dart:81:4 -> InstanceConstant(const Annotation{})
Evaluated: ConstructorInvocation @ org-dartlang-testcase:///external_fields.dart:81:4 -> InstanceConstant(const Annotation{})
Evaluated: ConstructorInvocation @ org-dartlang-testcase:///external_fields.dart:84:4 -> InstanceConstant(const Annotation{})
Extra constant evaluation: evaluated: 25, effectively constant: 25