library /*isNonNullableByDefault*/;
//
// Problems in library:
//
// pkg/front_end/testcases/nnbd_mixed/hierarchy/concrete_implements_getter.dart:5:7: Error: The non-abstract class 'Interface' is missing implementations for these members:
//  - Interface.declaredAbstractImplementsAbstractGetter
//  - Interface.declaredConcreteImplementsAbstractGetter
//  - Interface.implementedAbstractGetter
// 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 Interface {
//       ^^^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/hierarchy/concrete_implements_getter.dart:16:11: Context: 'Interface.declaredAbstractImplementsAbstractGetter' is defined here.
//   int get declaredAbstractImplementsAbstractGetter;
//           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/hierarchy/concrete_implements_getter.dart:14:11: Context: 'Interface.declaredConcreteImplementsAbstractGetter' is defined here.
//   int get declaredConcreteImplementsAbstractGetter;
//           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/hierarchy/concrete_implements_getter.dart:8:11: Context: 'Interface.implementedAbstractGetter' is defined here.
//   int get implementedAbstractGetter;
//           ^^^^^^^^^^^^^^^^^^^^^^^^^
//
// pkg/front_end/testcases/nnbd_mixed/hierarchy/concrete_implements_getter.dart:19:7: Error: The non-abstract class 'ConcreteClass' is missing implementations for these members:
//  - ConcreteClass.declaredAbstractGetter
//  - ConcreteClass.declaredAbstractImplementsAbstractGetter
//  - ConcreteClass.declaredAbstractImplementsConcreteGetter
//  - Interface.implementedAbstractGetter
//  - Interface.implementedConcreteGetter
// 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 implements Interface {
//       ^^^^^^^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/hierarchy/concrete_implements_getter.dart:22:11: Context: 'ConcreteClass.declaredAbstractGetter' is defined here.
//   int get declaredAbstractGetter;
//           ^^^^^^^^^^^^^^^^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/hierarchy/concrete_implements_getter.dart:30:11: Context: 'ConcreteClass.declaredAbstractImplementsAbstractGetter' is defined here.
//   int get declaredAbstractImplementsAbstractGetter;
//           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/hierarchy/concrete_implements_getter.dart:26:11: Context: 'ConcreteClass.declaredAbstractImplementsConcreteGetter' is defined here.
//   int get declaredAbstractImplementsConcreteGetter;
//           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/hierarchy/concrete_implements_getter.dart:8:11: Context: 'Interface.implementedAbstractGetter' is defined here.
//   int get implementedAbstractGetter;
//           ^^^^^^^^^^^^^^^^^^^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/hierarchy/concrete_implements_getter.dart:6:11: Context: 'Interface.implementedConcreteGetter' is defined here.
//   int get implementedConcreteGetter => 0;
//           ^^^^^^^^^^^^^^^^^^^^^^^^^
//
import self as self;
import "dart:core" as core;

class Interface extends core::Object {
  synthetic constructor •() → self::Interface
    ;
  get implementedConcreteGetter() → core::int
    ;
  abstract get implementedAbstractGetter() → core::int;
  get declaredConcreteImplementsConcreteGetter() → core::int
    ;
  get declaredAbstractImplementsConcreteGetter() → core::int
    ;
  abstract get declaredConcreteImplementsAbstractGetter() → core::int;
  abstract get declaredAbstractImplementsAbstractGetter() → core::int;
}
class ConcreteClass extends core::Object implements self::Interface {
  synthetic constructor •() → self::ConcreteClass
    ;
  get declaredConcreteGetter() → core::int
    ;
  abstract get declaredAbstractGetter() → core::int;
  get declaredConcreteImplementsConcreteGetter() → core::int
    ;
  abstract get declaredAbstractImplementsConcreteGetter() → core::int;
  get declaredConcreteImplementsAbstractGetter() → core::int
    ;
  abstract get declaredAbstractImplementsAbstractGetter() → core::int;
}
static method main() → dynamic
  ;