| 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= |
| // - Super.extendedAbstractMixedInAbstractField |
| // - Super.extendedAbstractMixedInAbstractField= |
| // 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: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: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= |
| // - Super.extendedAbstractMixedInAbstractField |
| // - Super.extendedAbstractMixedInAbstractField= |
| // 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; |
| // ^^^^^^^^^^^^^^^^^^^^^ |
| // 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; |
| // ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| // |
| 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 get extendedConcreteMixedInAbstractField() → core::int; |
| abstract get extendedAbstractMixedInAbstractField() → core::int; |
| abstract set mixedInAbstractField(core::int #externalFieldValue) → void; |
| abstract set extendedConcreteMixedInAbstractField(core::int #externalFieldValue) → void; |
| 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 get extendedConcreteMixedInAbstractField() → core::int; |
| abstract get extendedAbstractMixedInAbstractField() → core::int; |
| abstract set mixedInAbstractField(core::int #externalFieldValue) → void; |
| abstract set extendedConcreteMixedInAbstractField(core::int #externalFieldValue) → void; |
| abstract set extendedAbstractMixedInAbstractField(core::int #externalFieldValue) → void; |
| } |
| static method main() → dynamic {} |