| library /*isNonNullableByDefault*/; |
| // |
| // Problems in library: |
| // |
| // pkg/front_end/testcases/nnbd_mixed/hierarchy/extend_multiple_final_field.dart:37:7: Error: The non-abstract class 'ConcreteSub' is missing implementations for these members: |
| // - Interface1.extendedAbstractImplementedField |
| // - Interface1.extendedAbstractImplementedMultipleField |
| // - Interface2.extendedAbstractImplementedMultipleField |
| // - Super.extendedAbstractField |
| // - Super.extendedAbstractImplementedField |
| // - Super.extendedAbstractImplementedMultipleField |
| // 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 ConcreteSub extends AbstractClass {} |
| // ^^^^^^^^^^^ |
| // pkg/front_end/testcases/nnbd_mixed/hierarchy/extend_multiple_final_field.dart:22:13: Context: 'Interface1.extendedAbstractImplementedField' is defined here. |
| // final int extendedAbstractImplementedField = 0; |
| // ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| // pkg/front_end/testcases/nnbd_mixed/hierarchy/extend_multiple_final_field.dart:26:13: Context: 'Interface1.extendedAbstractImplementedMultipleField' is defined here. |
| // final int extendedAbstractImplementedMultipleField = 0; |
| // ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| // pkg/front_end/testcases/nnbd_mixed/hierarchy/extend_multiple_final_field.dart:32:13: Context: 'Interface2.extendedAbstractImplementedMultipleField' is defined here. |
| // final int extendedAbstractImplementedMultipleField = 0; |
| // ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| // pkg/front_end/testcases/nnbd_mixed/hierarchy/extend_multiple_final_field.dart:8:22: Context: 'Super.extendedAbstractField' is defined here. |
| // abstract final int extendedAbstractField; |
| // ^^^^^^^^^^^^^^^^^^^^^ |
| // pkg/front_end/testcases/nnbd_mixed/hierarchy/extend_multiple_final_field.dart:12:22: Context: 'Super.extendedAbstractImplementedField' is defined here. |
| // abstract final int extendedAbstractImplementedField; |
| // ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| // pkg/front_end/testcases/nnbd_mixed/hierarchy/extend_multiple_final_field.dart:16:22: Context: 'Super.extendedAbstractImplementedMultipleField' is defined here. |
| // abstract final int extendedAbstractImplementedMultipleField; |
| // ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| // |
| // pkg/front_end/testcases/nnbd_mixed/hierarchy/extend_multiple_final_field.dart:39:7: Error: The non-abstract class 'ConcreteClass' is missing implementations for these members: |
| // - Interface1.extendedAbstractImplementedField |
| // - Interface1.extendedAbstractImplementedMultipleField |
| // - Interface2.extendedAbstractImplementedMultipleField |
| // - Super.extendedAbstractField |
| // - Super.extendedAbstractImplementedField |
| // - Super.extendedAbstractImplementedMultipleField |
| // 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 ConcreteClass extends Super implements Interface1, Interface2 {} |
| // ^^^^^^^^^^^^^ |
| // pkg/front_end/testcases/nnbd_mixed/hierarchy/extend_multiple_final_field.dart:22:13: Context: 'Interface1.extendedAbstractImplementedField' is defined here. |
| // final int extendedAbstractImplementedField = 0; |
| // ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| // pkg/front_end/testcases/nnbd_mixed/hierarchy/extend_multiple_final_field.dart:26:13: Context: 'Interface1.extendedAbstractImplementedMultipleField' is defined here. |
| // final int extendedAbstractImplementedMultipleField = 0; |
| // ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| // pkg/front_end/testcases/nnbd_mixed/hierarchy/extend_multiple_final_field.dart:32:13: Context: 'Interface2.extendedAbstractImplementedMultipleField' is defined here. |
| // final int extendedAbstractImplementedMultipleField = 0; |
| // ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| // pkg/front_end/testcases/nnbd_mixed/hierarchy/extend_multiple_final_field.dart:8:22: Context: 'Super.extendedAbstractField' is defined here. |
| // abstract final int extendedAbstractField; |
| // ^^^^^^^^^^^^^^^^^^^^^ |
| // pkg/front_end/testcases/nnbd_mixed/hierarchy/extend_multiple_final_field.dart:12:22: Context: 'Super.extendedAbstractImplementedField' is defined here. |
| // abstract final int extendedAbstractImplementedField; |
| // ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| // pkg/front_end/testcases/nnbd_mixed/hierarchy/extend_multiple_final_field.dart:16:22: Context: 'Super.extendedAbstractImplementedMultipleField' is defined here. |
| // abstract final int extendedAbstractImplementedMultipleField; |
| // ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| // |
| import self as self; |
| import "dart:core" as core; |
| |
| abstract class Super extends core::Object { |
| final field core::int extendedConcreteField; |
| final field core::int extendedConcreteImplementedField; |
| final field core::int extendedConcreteImplementedMultipleField; |
| synthetic constructor •() → self::Super |
| ; |
| abstract get extendedAbstractField() → core::int; |
| abstract get extendedAbstractImplementedField() → core::int; |
| abstract get extendedAbstractImplementedMultipleField() → core::int; |
| } |
| class Interface1 extends core::Object { |
| final field core::int extendedConcreteImplementedField; |
| final field core::int extendedAbstractImplementedField; |
| final field core::int extendedConcreteImplementedMultipleField; |
| final field core::int extendedAbstractImplementedMultipleField; |
| synthetic constructor •() → self::Interface1 |
| ; |
| } |
| class Interface2 extends core::Object { |
| final field core::int extendedConcreteImplementedMultipleField; |
| final field core::int extendedAbstractImplementedMultipleField; |
| synthetic constructor •() → self::Interface2 |
| ; |
| } |
| abstract class AbstractClass extends self::Super implements self::Interface1, self::Interface2 { |
| synthetic constructor •() → self::AbstractClass |
| ; |
| } |
| class ConcreteSub extends self::AbstractClass { |
| synthetic constructor •() → self::ConcreteSub |
| ; |
| } |
| class ConcreteClass extends self::Super implements self::Interface1, self::Interface2 { |
| synthetic constructor •() → self::ConcreteClass |
| ; |
| } |
| static method main() → dynamic |
| ; |