library /*isNonNullableByDefault*/;
//
// Problems in library:
//
// pkg/front_end/testcases/nnbd_mixed/hierarchy/forwarding_stubs_method.dart:41:7: Error: The non-abstract class 'ConcreteSub' is missing implementations for these members:
//  - AbstractClass.Interface1.implementsMultipleCovariantMethod1%Interface2.implementsMultipleCovariantMethod1
//  - AbstractClass.Interface1.implementsMultipleCovariantMethod2%Interface2.implementsMultipleCovariantMethod2
//  - AbstractClass.Super.extendedAbstractCovariantImplementedMethod%Interface1.extendedAbstractCovariantImplementedMethod
//  - AbstractClass.Super.extendedAbstractImplementedCovariantMethod%Interface1.extendedAbstractImplementedCovariantMethod
//  - Super.extendedAbstractCovariantMethod
// 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/forwarding_stubs_method.dart:39:16: Context: 'AbstractClass.Interface1.implementsMultipleCovariantMethod1%Interface2.implementsMultipleCovariantMethod1' is defined here.
// abstract class AbstractClass extends Super implements Interface1, Interface2 {}
//                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
// pkg/front_end/testcases/nnbd_mixed/hierarchy/forwarding_stubs_method.dart:39:16: Context: 'AbstractClass.Interface1.implementsMultipleCovariantMethod2%Interface2.implementsMultipleCovariantMethod2' is defined here.
// abstract class AbstractClass extends Super implements Interface1, Interface2 {}
//                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
// pkg/front_end/testcases/nnbd_mixed/hierarchy/forwarding_stubs_method.dart:39:16: Context: 'AbstractClass.Super.extendedAbstractCovariantImplementedMethod%Interface1.extendedAbstractCovariantImplementedMethod' is defined here.
// abstract class AbstractClass extends Super implements Interface1, Interface2 {}
//                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
// pkg/front_end/testcases/nnbd_mixed/hierarchy/forwarding_stubs_method.dart:39:16: Context: 'AbstractClass.Super.extendedAbstractImplementedCovariantMethod%Interface1.extendedAbstractImplementedCovariantMethod' is defined here.
// abstract class AbstractClass extends Super implements Interface1, Interface2 {}
//                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
// pkg/front_end/testcases/nnbd_mixed/hierarchy/forwarding_stubs_method.dart:8:8: Context: 'Super.extendedAbstractCovariantMethod' is defined here.
//   void extendedAbstractCovariantMethod(covariant int i);
//        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
//
// pkg/front_end/testcases/nnbd_mixed/hierarchy/forwarding_stubs_method.dart:43:7: Error: The non-abstract class 'ConcreteClass' is missing implementations for these members:
//  - Interface1.implementsMultipleCovariantMethod1
//  - Interface1.implementsMultipleCovariantMethod2
//  - Interface2.implementsMultipleCovariantMethod1
//  - Interface2.implementsMultipleCovariantMethod2
//  - Super.extendedAbstractCovariantImplementedMethod
//  - Super.extendedAbstractCovariantMethod
//  - Super.extendedAbstractImplementedCovariantMethod
// 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/forwarding_stubs_method.dart:28:8: Context: 'Interface1.implementsMultipleCovariantMethod1' is defined here.
//   void implementsMultipleCovariantMethod1(covariant int i) {}
//        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/hierarchy/forwarding_stubs_method.dart:30:8: Context: 'Interface1.implementsMultipleCovariantMethod2' is defined here.
//   void implementsMultipleCovariantMethod2(int i) {}
//        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/hierarchy/forwarding_stubs_method.dart:34:8: Context: 'Interface2.implementsMultipleCovariantMethod1' is defined here.
//   void implementsMultipleCovariantMethod1(int i) {}
//        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/hierarchy/forwarding_stubs_method.dart:36:8: Context: 'Interface2.implementsMultipleCovariantMethod2' is defined here.
//   void implementsMultipleCovariantMethod2(covariant int i) {}
//        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/hierarchy/forwarding_stubs_method.dart:12:8: Context: 'Super.extendedAbstractCovariantImplementedMethod' is defined here.
//   void extendedAbstractCovariantImplementedMethod(covariant int i);
//        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/hierarchy/forwarding_stubs_method.dart:8:8: Context: 'Super.extendedAbstractCovariantMethod' is defined here.
//   void extendedAbstractCovariantMethod(covariant int i);
//        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/hierarchy/forwarding_stubs_method.dart:16:8: Context: 'Super.extendedAbstractImplementedCovariantMethod' is defined here.
//   void extendedAbstractImplementedCovariantMethod(int i);
//        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
//
import self as self;
import "dart:core" as core;

abstract class Super extends core::Object {
  synthetic constructor •() → self::Super
    : super core::Object::•()
    ;
  method extendedConcreteCovariantMethod(covariant core::int i) → void {}
  abstract method extendedAbstractCovariantMethod(covariant core::int i) → void;
  method extendedConcreteCovariantImplementedMethod(covariant core::int i) → void {}
  abstract method extendedAbstractCovariantImplementedMethod(covariant core::int i) → void;
  method extendedConcreteImplementedCovariantMethod(core::int i) → void {}
  abstract method extendedAbstractImplementedCovariantMethod(core::int i) → void;
}
class Interface1 extends core::Object {
  synthetic constructor •() → self::Interface1
    : super core::Object::•()
    ;
  method extendedConcreteCovariantImplementedMethod(core::int i) → void {}
  method extendedAbstractCovariantImplementedMethod(core::int i) → void {}
  method extendedConcreteImplementedCovariantMethod(covariant core::int i) → void {}
  method extendedAbstractImplementedCovariantMethod(covariant core::int i) → void {}
  method implementsMultipleCovariantMethod1(covariant core::int i) → void {}
  method implementsMultipleCovariantMethod2(core::int i) → void {}
}
class Interface2 extends core::Object {
  synthetic constructor •() → self::Interface2
    : super core::Object::•()
    ;
  method implementsMultipleCovariantMethod1(core::int i) → void {}
  method implementsMultipleCovariantMethod2(covariant core::int i) → void {}
}
abstract class AbstractClass extends self::Super implements self::Interface1, self::Interface2 {
  synthetic constructor •() → self::AbstractClass
    : super self::Super::•()
    ;
  forwarding-stub method extendedConcreteImplementedCovariantMethod(covariant core::int i) → void
    return super.{self::Super::extendedConcreteImplementedCovariantMethod}(i);
  abstract forwarding-stub method extendedAbstractImplementedCovariantMethod(covariant core::int i) → void;
  abstract forwarding-stub method implementsMultipleCovariantMethod2(covariant core::int i) → void;
}
class ConcreteSub extends self::AbstractClass {
  synthetic constructor •() → self::ConcreteSub
    : super self::AbstractClass::•()
    ;
}
class ConcreteClass extends self::Super implements self::Interface1, self::Interface2 {
  synthetic constructor •() → self::ConcreteClass
    : super self::Super::•()
    ;
  forwarding-stub method extendedConcreteImplementedCovariantMethod(covariant core::int i) → void
    return super.{self::Super::extendedConcreteImplementedCovariantMethod}(i);
  abstract forwarding-stub method extendedAbstractImplementedCovariantMethod(covariant core::int i) → void;
  abstract forwarding-stub method implementsMultipleCovariantMethod2(covariant core::int i) → void;
}
static method main() → dynamic {}