library /*isNonNullableByDefault*/;
//
// Problems in library:
//
// pkg/front_end/testcases/nnbd_mixed/hierarchy/mix_in_field.dart:5:7: Error: The non-abstract class 'Super' is missing implementations for these members:
//  - Super.extendedAbstractField
//  - Super.extendedAbstractField=
//  - Super.extendedAbstractMixedInAbstractField
//  - Super.extendedAbstractMixedInAbstractField=
//  - Super.extendedAbstractMixedInConcreteField
//  - Super.extendedAbstractMixedInConcreteField=
// Try to either
//  - provide an implementation,
//  - inherit an implementation from a superclass or mixin,
//  - mark the class as abstract, or
//  - provide a 'noSuchMethod' implementation.
//
// class Super {
//       ^^^^^
// pkg/front_end/testcases/nnbd_mixed/hierarchy/mix_in_field.dart:8:16: Context: 'Super.extendedAbstractField' is defined here.
//   abstract int extendedAbstractField;
//                ^^^^^^^^^^^^^^^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/hierarchy/mix_in_field.dart:8:16: Context: 'Super.extendedAbstractField=' is defined here.
//   abstract int extendedAbstractField;
//                ^^^^^^^^^^^^^^^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/hierarchy/mix_in_field.dart:16:16: Context: 'Super.extendedAbstractMixedInAbstractField' is defined here.
//   abstract int extendedAbstractMixedInAbstractField;
//                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/hierarchy/mix_in_field.dart:16:16: Context: 'Super.extendedAbstractMixedInAbstractField=' is defined here.
//   abstract int extendedAbstractMixedInAbstractField;
//                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/hierarchy/mix_in_field.dart:12:16: Context: 'Super.extendedAbstractMixedInConcreteField' is defined here.
//   abstract int extendedAbstractMixedInConcreteField;
//                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/hierarchy/mix_in_field.dart:12:16: Context: 'Super.extendedAbstractMixedInConcreteField=' is defined here.
//   abstract int extendedAbstractMixedInConcreteField;
//                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
//
// pkg/front_end/testcases/nnbd_mixed/hierarchy/mix_in_field.dart:19:7: Error: The non-abstract class 'Mixin' is missing implementations for these members:
//  - Mixin.extendedAbstractMixedInAbstractField
//  - Mixin.extendedAbstractMixedInAbstractField=
//  - Mixin.extendedConcreteMixedInAbstractField
//  - Mixin.extendedConcreteMixedInAbstractField=
//  - Mixin.mixedInAbstractField
//  - Mixin.mixedInAbstractField=
// Try to either
//  - provide an implementation,
//  - inherit an implementation from a superclass or mixin,
//  - mark the class as abstract, or
//  - provide a 'noSuchMethod' implementation.
//
// class Mixin {
//       ^^^^^
// pkg/front_end/testcases/nnbd_mixed/hierarchy/mix_in_field.dart:30:16: Context: 'Mixin.extendedAbstractMixedInAbstractField' is defined here.
//   abstract int extendedAbstractMixedInAbstractField;
//                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/hierarchy/mix_in_field.dart:30:16: Context: 'Mixin.extendedAbstractMixedInAbstractField=' is defined here.
//   abstract int extendedAbstractMixedInAbstractField;
//                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/hierarchy/mix_in_field.dart:28:16: Context: 'Mixin.extendedConcreteMixedInAbstractField' is defined here.
//   abstract int extendedConcreteMixedInAbstractField;
//                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/hierarchy/mix_in_field.dart:28:16: Context: 'Mixin.extendedConcreteMixedInAbstractField=' is defined here.
//   abstract int extendedConcreteMixedInAbstractField;
//                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/hierarchy/mix_in_field.dart:22:16: Context: 'Mixin.mixedInAbstractField' is defined here.
//   abstract int mixedInAbstractField;
//                ^^^^^^^^^^^^^^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/hierarchy/mix_in_field.dart:22:16: Context: 'Mixin.mixedInAbstractField=' is defined here.
//   abstract int mixedInAbstractField;
//                ^^^^^^^^^^^^^^^^^^^^
//
// pkg/front_end/testcases/nnbd_mixed/hierarchy/mix_in_field.dart:33:7: Error: The non-abstract class 'ClassMixin' is missing implementations for these members:
//  - Mixin.extendedAbstractMixedInAbstractField
//  - Mixin.extendedAbstractMixedInAbstractField=
//  - Mixin.mixedInAbstractField
//  - Mixin.mixedInAbstractField=
//  - Super.extendedAbstractField
//  - Super.extendedAbstractField=
// Try to either
//  - provide an implementation,
//  - inherit an implementation from a superclass or mixin,
//  - mark the class as abstract, or
//  - provide a 'noSuchMethod' implementation.
//
// class ClassMixin extends Super with Mixin {}
//       ^^^^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/hierarchy/mix_in_field.dart:30:16: Context: 'Mixin.extendedAbstractMixedInAbstractField' is defined here.
//   abstract int extendedAbstractMixedInAbstractField;
//                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/hierarchy/mix_in_field.dart:30:16: Context: 'Mixin.extendedAbstractMixedInAbstractField=' is defined here.
//   abstract int extendedAbstractMixedInAbstractField;
//                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/hierarchy/mix_in_field.dart:22:16: Context: 'Mixin.mixedInAbstractField' is defined here.
//   abstract int mixedInAbstractField;
//                ^^^^^^^^^^^^^^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/hierarchy/mix_in_field.dart:22:16: Context: 'Mixin.mixedInAbstractField=' is defined here.
//   abstract int mixedInAbstractField;
//                ^^^^^^^^^^^^^^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/hierarchy/mix_in_field.dart:8:16: Context: 'Super.extendedAbstractField' is defined here.
//   abstract int extendedAbstractField;
//                ^^^^^^^^^^^^^^^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/hierarchy/mix_in_field.dart:8:16: Context: 'Super.extendedAbstractField=' is defined here.
//   abstract int extendedAbstractField;
//                ^^^^^^^^^^^^^^^^^^^^^
//
// pkg/front_end/testcases/nnbd_mixed/hierarchy/mix_in_field.dart:35:7: Error: The non-abstract class 'NamedMixin' is missing implementations for these members:
//  - Mixin.extendedAbstractMixedInAbstractField
//  - Mixin.extendedAbstractMixedInAbstractField=
//  - Mixin.mixedInAbstractField
//  - Mixin.mixedInAbstractField=
//  - Super.extendedAbstractField
//  - Super.extendedAbstractField=
// Try to either
//  - provide an implementation,
//  - inherit an implementation from a superclass or mixin,
//  - mark the class as abstract, or
//  - provide a 'noSuchMethod' implementation.
//
// class NamedMixin = Super with Mixin;
//       ^^^^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/hierarchy/mix_in_field.dart:30:16: Context: 'Mixin.extendedAbstractMixedInAbstractField' is defined here.
//   abstract int extendedAbstractMixedInAbstractField;
//                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/hierarchy/mix_in_field.dart:30:16: Context: 'Mixin.extendedAbstractMixedInAbstractField=' is defined here.
//   abstract int extendedAbstractMixedInAbstractField;
//                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/hierarchy/mix_in_field.dart:22:16: Context: 'Mixin.mixedInAbstractField' is defined here.
//   abstract int mixedInAbstractField;
//                ^^^^^^^^^^^^^^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/hierarchy/mix_in_field.dart:22:16: Context: 'Mixin.mixedInAbstractField=' is defined here.
//   abstract int mixedInAbstractField;
//                ^^^^^^^^^^^^^^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/hierarchy/mix_in_field.dart:8:16: Context: 'Super.extendedAbstractField' is defined here.
//   abstract int extendedAbstractField;
//                ^^^^^^^^^^^^^^^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/hierarchy/mix_in_field.dart:8:16: Context: 'Super.extendedAbstractField=' is defined here.
//   abstract int extendedAbstractField;
//                ^^^^^^^^^^^^^^^^^^^^^
//
import self as self;
import "dart:core" as core;

class Super extends core::Object {
  field core::int extendedConcreteField = 0;
  field core::int extendedConcreteMixedInConcreteField = 0;
  field core::int extendedConcreteMixedInAbstractField = 0;
  synthetic constructor •() → self::Super
    : super core::Object::•()
    ;
  abstract get extendedAbstractField() → core::int;
  abstract set extendedAbstractField(core::int #externalFieldValue) → void;
  abstract get extendedAbstractMixedInConcreteField() → core::int;
  abstract set extendedAbstractMixedInConcreteField(core::int #externalFieldValue) → void;
  abstract get extendedAbstractMixedInAbstractField() → core::int;
  abstract set extendedAbstractMixedInAbstractField(core::int #externalFieldValue) → void;
}
class Mixin extends core::Object {
  field core::int mixedInConcreteField = 0;
  field core::int extendedConcreteMixedInConcreteField = 0;
  field core::int extendedAbstractMixedInConcreteField = 0;
  synthetic constructor •() → self::Mixin
    : super core::Object::•()
    ;
  abstract get mixedInAbstractField() → core::int;
  abstract set mixedInAbstractField(core::int #externalFieldValue) → void;
  abstract get extendedConcreteMixedInAbstractField() → core::int;
  abstract set extendedConcreteMixedInAbstractField(core::int #externalFieldValue) → void;
  abstract get extendedAbstractMixedInAbstractField() → core::int;
  abstract set extendedAbstractMixedInAbstractField(core::int #externalFieldValue) → void;
}
abstract class _ClassMixin&Super&Mixin extends self::Super implements self::Mixin /*isAnonymousMixin,isEliminatedMixin*/  {
  field core::int mixedInConcreteField = 0;
  field core::int extendedConcreteMixedInConcreteField = 0;
  field core::int extendedAbstractMixedInConcreteField = 0;
  synthetic constructor •() → self::_ClassMixin&Super&Mixin
    : super self::Super::•()
    ;
  abstract get mixedInAbstractField() → core::int;
  abstract set mixedInAbstractField(core::int #externalFieldValue) → void;
  abstract get extendedConcreteMixedInAbstractField() → core::int;
  abstract set extendedConcreteMixedInAbstractField(core::int #externalFieldValue) → void;
  abstract get extendedAbstractMixedInAbstractField() → core::int;
  abstract set extendedAbstractMixedInAbstractField(core::int #externalFieldValue) → void;
}
class ClassMixin extends self::_ClassMixin&Super&Mixin {
  synthetic constructor •() → self::ClassMixin
    : super self::_ClassMixin&Super&Mixin::•()
    ;
}
class NamedMixin extends self::Super implements self::Mixin /*isEliminatedMixin*/  {
  field core::int mixedInConcreteField = 0;
  field core::int extendedConcreteMixedInConcreteField = 0;
  field core::int extendedAbstractMixedInConcreteField = 0;
  synthetic constructor •() → self::NamedMixin
    : super self::Super::•()
    ;
  abstract get mixedInAbstractField() → core::int;
  abstract set mixedInAbstractField(core::int #externalFieldValue) → void;
  abstract get extendedConcreteMixedInAbstractField() → core::int;
  abstract set extendedConcreteMixedInAbstractField(core::int #externalFieldValue) → void;
  abstract get extendedAbstractMixedInAbstractField() → core::int;
  abstract set extendedAbstractMixedInAbstractField(core::int #externalFieldValue) → void;
}
static method main() → dynamic {}