library /*isNonNullableByDefault*/;
//
// Problems in library:
//
// pkg/front_end/testcases/nnbd_mixed/hierarchy/concrete_extends_method.dart:5:7: Error: The non-abstract class 'ConcreteSuper' is missing implementations for these members:
//  - ConcreteSuper.declaredAbstractExtendsAbstractMethod
//  - ConcreteSuper.declaredConcreteExtendsAbstractMethod
//  - ConcreteSuper.extendedAbstractMethod
// 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 ConcreteSuper {
//       ^^^^^^^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/hierarchy/concrete_extends_method.dart:16:8: Context: 'ConcreteSuper.declaredAbstractExtendsAbstractMethod' is defined here.
//   void declaredAbstractExtendsAbstractMethod();
//        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/hierarchy/concrete_extends_method.dart:14:8: Context: 'ConcreteSuper.declaredConcreteExtendsAbstractMethod' is defined here.
//   void declaredConcreteExtendsAbstractMethod();
//        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/hierarchy/concrete_extends_method.dart:8:8: Context: 'ConcreteSuper.extendedAbstractMethod' is defined here.
//   void extendedAbstractMethod();
//        ^^^^^^^^^^^^^^^^^^^^^^
//
// pkg/front_end/testcases/nnbd_mixed/hierarchy/concrete_extends_method.dart:19:7: Error: The non-abstract class 'ConcreteClass' is missing implementations for these members:
//  - ConcreteClass.declaredAbstractExtendsAbstractMethod
//  - ConcreteClass.declaredAbstractMethod
//  - ConcreteSuper.extendedAbstractMethod
// 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 ConcreteSuper {
//       ^^^^^^^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/hierarchy/concrete_extends_method.dart:30:8: Context: 'ConcreteClass.declaredAbstractExtendsAbstractMethod' is defined here.
//   void declaredAbstractExtendsAbstractMethod();
//        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/hierarchy/concrete_extends_method.dart:22:8: Context: 'ConcreteClass.declaredAbstractMethod' is defined here.
//   void declaredAbstractMethod();
//        ^^^^^^^^^^^^^^^^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/hierarchy/concrete_extends_method.dart:8:8: Context: 'ConcreteSuper.extendedAbstractMethod' is defined here.
//   void extendedAbstractMethod();
//        ^^^^^^^^^^^^^^^^^^^^^^
//
import self as self;
import "dart:core" as core;

class ConcreteSuper extends core::Object {
  synthetic constructor •() → self::ConcreteSuper
    : super core::Object::•()
    ;
  method extendedConcreteMethod() → void {}
  abstract method extendedAbstractMethod() → void;
  method declaredConcreteExtendsConcreteMethod() → void {}
  method declaredAbstractExtendsConcreteMethod() → void {}
  abstract method declaredConcreteExtendsAbstractMethod() → void;
  abstract method declaredAbstractExtendsAbstractMethod() → void;
}
class ConcreteClass extends self::ConcreteSuper {
  synthetic constructor •() → self::ConcreteClass
    : super self::ConcreteSuper::•()
    ;
  method declaredConcreteMethod() → void {}
  abstract method declaredAbstractMethod() → void;
  method declaredConcreteExtendsConcreteMethod() → void {}
  abstract method declaredAbstractExtendsConcreteMethod() → void;
  method declaredConcreteExtendsAbstractMethod() → void {}
  abstract method declaredAbstractExtendsAbstractMethod() → void;
}
static method main() → dynamic {}