library /*isNonNullableByDefault*/;
//
// Problems in library:
//
// pkg/front_end/testcases/general/missing_static_super.dart:9:11: Error: Superclass has no getter named 'missingSuperGetter'.
//     super.missingSuperGetter;
//           ^^^^^^^^^^^^^^^^^^
//
// pkg/front_end/testcases/general/missing_static_super.dart:10:11: Error: Superclass has no setter named 'missingSuperSetter'.
//     super.missingSuperSetter = 42;
//           ^^^^^^^^^^^^^^^^^^
//
// pkg/front_end/testcases/general/missing_static_super.dart:11:13: Error: Superclass has no getter named 'missingSuperProperty'.
//     --super.missingSuperProperty;
//             ^^^^^^^^^^^^^^^^^^^^
//
// pkg/front_end/testcases/general/missing_static_super.dart:11:13: Error: Superclass has no setter named 'missingSuperProperty'.
//     --super.missingSuperProperty;
//             ^^^^^^^^^^^^^^^^^^^^
//
// pkg/front_end/testcases/general/missing_static_super.dart:12:11: Error: Superclass has no getter named 'missingSuperProperty'.
//     super.missingSuperProperty++;
//           ^^^^^^^^^^^^^^^^^^^^
//
// pkg/front_end/testcases/general/missing_static_super.dart:12:11: Error: Superclass has no setter named 'missingSuperProperty'.
//     super.missingSuperProperty++;
//           ^^^^^^^^^^^^^^^^^^^^
//
// pkg/front_end/testcases/general/missing_static_super.dart:13:11: Error: Superclass has no getter named 'missingSuperProperty'.
//     super.missingSuperProperty += 42;
//           ^^^^^^^^^^^^^^^^^^^^
//
// pkg/front_end/testcases/general/missing_static_super.dart:13:11: Error: Superclass has no setter named 'missingSuperProperty'.
//     super.missingSuperProperty += 42;
//           ^^^^^^^^^^^^^^^^^^^^
//
// pkg/front_end/testcases/general/missing_static_super.dart:14:11: Error: Superclass has no method named 'missingSuperMethod'.
//     super.missingSuperMethod();
//           ^^^^^^^^^^^^^^^^^^
//
// pkg/front_end/testcases/general/missing_static_super.dart:15:11: Error: Superclass has no getter named 'missingSuperMethod'.
//     super.missingSuperMethod<int>;
//           ^^^^^^^^^^^^^^^^^^
//
// pkg/front_end/testcases/general/missing_static_super.dart:16:11: Error: Superclass has no getter named 'missingSuperIndex'.
//     super.missingSuperIndex[42];
//           ^^^^^^^^^^^^^^^^^
//
// pkg/front_end/testcases/general/missing_static_super.dart:17:11: Error: Superclass has no getter named 'missingSuperIndex'.
//     super.missingSuperIndex[42] = 42;
//           ^^^^^^^^^^^^^^^^^
//
// pkg/front_end/testcases/general/missing_static_super.dart:21:11: Error: Member not found: 'missingStaticGetter'.
//     Super.missingStaticGetter;
//           ^^^^^^^^^^^^^^^^^^^
//
// pkg/front_end/testcases/general/missing_static_super.dart:22:11: Error: Setter not found: 'missingStaticSetter'.
//     Super.missingStaticSetter = 42;
//           ^^^^^^^^^^^^^^^^^^^
//
// pkg/front_end/testcases/general/missing_static_super.dart:23:13: Error: Getter not found: 'missingStaticProperty'.
//     --Super.missingStaticProperty;
//             ^^^^^^^^^^^^^^^^^^^^^
//
// pkg/front_end/testcases/general/missing_static_super.dart:24:11: Error: Getter not found: 'missingStaticProperty'.
//     Super.missingStaticProperty++;
//           ^^^^^^^^^^^^^^^^^^^^^
//
// pkg/front_end/testcases/general/missing_static_super.dart:25:11: Error: Setter not found: 'missingStaticProperty'.
//     Super.missingStaticProperty += 42;
//           ^^^^^^^^^^^^^^^^^^^^^
//
// pkg/front_end/testcases/general/missing_static_super.dart:26:11: Error: Member not found: 'Super.missingStaticMethod'.
//     Super.missingStaticMethod();
//           ^^^^^^^^^^^^^^^^^^^
//
// pkg/front_end/testcases/general/missing_static_super.dart:27:11: Error: Member not found: 'missingStaticMethod'.
//     Super.missingStaticMethod<int>;
//           ^^^^^^^^^^^^^^^^^^^
//
// pkg/front_end/testcases/general/missing_static_super.dart:28:11: Error: Member not found: 'missingStaticIndex'.
//     Super.missingStaticIndex[42];
//           ^^^^^^^^^^^^^^^^^^
//
// pkg/front_end/testcases/general/missing_static_super.dart:29:11: Error: Member not found: 'missingStaticIndex'.
//     Super.missingStaticIndex[42] = 42;
//           ^^^^^^^^^^^^^^^^^^
//
// pkg/front_end/testcases/general/missing_static_super.dart:35:11: Error: Superclass has no getter named 'missingSuperGetter'.
//     super.missingSuperGetter;
//           ^^^^^^^^^^^^^^^^^^
//
// pkg/front_end/testcases/general/missing_static_super.dart:36:11: Error: Superclass has no setter named 'missingSuperSetter'.
//     super.missingSuperSetter = 42;
//           ^^^^^^^^^^^^^^^^^^
//
// pkg/front_end/testcases/general/missing_static_super.dart:37:13: Error: Superclass has no getter named 'missingSuperProperty'.
//     --super.missingSuperProperty;
//             ^^^^^^^^^^^^^^^^^^^^
//
// pkg/front_end/testcases/general/missing_static_super.dart:37:13: Error: Superclass has no setter named 'missingSuperProperty'.
//     --super.missingSuperProperty;
//             ^^^^^^^^^^^^^^^^^^^^
//
// pkg/front_end/testcases/general/missing_static_super.dart:38:11: Error: Superclass has no getter named 'missingSuperProperty'.
//     super.missingSuperProperty++;
//           ^^^^^^^^^^^^^^^^^^^^
//
// pkg/front_end/testcases/general/missing_static_super.dart:38:11: Error: Superclass has no setter named 'missingSuperProperty'.
//     super.missingSuperProperty++;
//           ^^^^^^^^^^^^^^^^^^^^
//
// pkg/front_end/testcases/general/missing_static_super.dart:39:11: Error: Superclass has no getter named 'missingSuperProperty'.
//     super.missingSuperProperty += 42;
//           ^^^^^^^^^^^^^^^^^^^^
//
// pkg/front_end/testcases/general/missing_static_super.dart:39:11: Error: Superclass has no setter named 'missingSuperProperty'.
//     super.missingSuperProperty += 42;
//           ^^^^^^^^^^^^^^^^^^^^
//
// pkg/front_end/testcases/general/missing_static_super.dart:40:11: Error: Superclass has no method named 'missingSuperMethod'.
//     super.missingSuperMethod();
//           ^^^^^^^^^^^^^^^^^^
//
// pkg/front_end/testcases/general/missing_static_super.dart:41:11: Error: Superclass has no getter named 'missingSuperMethod'.
//     super.missingSuperMethod<int>;
//           ^^^^^^^^^^^^^^^^^^
//
// pkg/front_end/testcases/general/missing_static_super.dart:42:11: Error: Superclass has no getter named 'missingSuperIndex'.
//     super.missingSuperIndex[42];
//           ^^^^^^^^^^^^^^^^^
//
// pkg/front_end/testcases/general/missing_static_super.dart:43:11: Error: Superclass has no getter named 'missingSuperIndex'.
//     super.missingSuperIndex[42] = 42;
//           ^^^^^^^^^^^^^^^^^
//
// pkg/front_end/testcases/general/missing_static_super.dart:47:11: Error: Member not found: 'missingStaticGetter'.
//     Super.missingStaticGetter;
//           ^^^^^^^^^^^^^^^^^^^
//
// pkg/front_end/testcases/general/missing_static_super.dart:48:11: Error: Setter not found: 'missingStaticSetter'.
//     Super.missingStaticSetter = 42;
//           ^^^^^^^^^^^^^^^^^^^
//
// pkg/front_end/testcases/general/missing_static_super.dart:49:13: Error: Getter not found: 'missingStaticProperty'.
//     --Super.missingStaticProperty;
//             ^^^^^^^^^^^^^^^^^^^^^
//
// pkg/front_end/testcases/general/missing_static_super.dart:50:11: Error: Getter not found: 'missingStaticProperty'.
//     Super.missingStaticProperty++;
//           ^^^^^^^^^^^^^^^^^^^^^
//
// pkg/front_end/testcases/general/missing_static_super.dart:51:11: Error: Setter not found: 'missingStaticProperty'.
//     Super.missingStaticProperty += 42;
//           ^^^^^^^^^^^^^^^^^^^^^
//
// pkg/front_end/testcases/general/missing_static_super.dart:52:11: Error: Member not found: 'Super.missingStaticMethod'.
//     Super.missingStaticMethod();
//           ^^^^^^^^^^^^^^^^^^^
//
// pkg/front_end/testcases/general/missing_static_super.dart:53:11: Error: Member not found: 'missingStaticMethod'.
//     Super.missingStaticMethod<int>;
//           ^^^^^^^^^^^^^^^^^^^
//
// pkg/front_end/testcases/general/missing_static_super.dart:54:11: Error: Member not found: 'missingStaticIndex'.
//     Super.missingStaticIndex[42];
//           ^^^^^^^^^^^^^^^^^^
//
// pkg/front_end/testcases/general/missing_static_super.dart:55:11: Error: Member not found: 'missingStaticIndex'.
//     Super.missingStaticIndex[42] = 42;
//           ^^^^^^^^^^^^^^^^^^
//
import self as self;
import "dart:core" as core;

class Super extends core::Object {
  synthetic constructor •() → self::Super
    : super core::Object::•()
    ;
}
class Class extends self::Super {
  synthetic constructor •() → self::Class
    : super self::Super::•()
    ;
  method method() → dynamic {
    invalid-expression "pkg/front_end/testcases/general/missing_static_super.dart:9:11: Error: Superclass has no getter named 'missingSuperGetter'.
    super.missingSuperGetter;
          ^^^^^^^^^^^^^^^^^^";
    invalid-expression "pkg/front_end/testcases/general/missing_static_super.dart:10:11: Error: Superclass has no setter named 'missingSuperSetter'.
    super.missingSuperSetter = 42;
          ^^^^^^^^^^^^^^^^^^";
    invalid-expression "pkg/front_end/testcases/general/missing_static_super.dart:11:13: Error: Superclass has no setter named 'missingSuperProperty'.
    --super.missingSuperProperty;
            ^^^^^^^^^^^^^^^^^^^^";
    invalid-expression "pkg/front_end/testcases/general/missing_static_super.dart:12:11: Error: Superclass has no setter named 'missingSuperProperty'.
    super.missingSuperProperty++;
          ^^^^^^^^^^^^^^^^^^^^";
    invalid-expression "pkg/front_end/testcases/general/missing_static_super.dart:13:11: Error: Superclass has no setter named 'missingSuperProperty'.
    super.missingSuperProperty += 42;
          ^^^^^^^^^^^^^^^^^^^^";
    invalid-expression "pkg/front_end/testcases/general/missing_static_super.dart:14:11: Error: Superclass has no method named 'missingSuperMethod'.
    super.missingSuperMethod();
          ^^^^^^^^^^^^^^^^^^";
    invalid-expression "pkg/front_end/testcases/general/missing_static_super.dart:15:11: Error: Superclass has no getter named 'missingSuperMethod'.
    super.missingSuperMethod<int>;
          ^^^^^^^^^^^^^^^^^^"<core::int>;
    invalid-expression "pkg/front_end/testcases/general/missing_static_super.dart:16:11: Error: Superclass has no getter named 'missingSuperIndex'.
    super.missingSuperIndex[42];
          ^^^^^^^^^^^^^^^^^"{<invalid>}.[](42);
    invalid-expression "pkg/front_end/testcases/general/missing_static_super.dart:17:11: Error: Superclass has no getter named 'missingSuperIndex'.
    super.missingSuperIndex[42] = 42;
          ^^^^^^^^^^^^^^^^^"{<invalid>}.[]=(42, 42);
  }
  static method staticMethod() → dynamic {
    invalid-expression "pkg/front_end/testcases/general/missing_static_super.dart:21:11: Error: Member not found: 'missingStaticGetter'.
    Super.missingStaticGetter;
          ^^^^^^^^^^^^^^^^^^^";
    invalid-expression "pkg/front_end/testcases/general/missing_static_super.dart:22:11: Error: Setter not found: 'missingStaticSetter'.
    Super.missingStaticSetter = 42;
          ^^^^^^^^^^^^^^^^^^^";
    invalid-expression "pkg/front_end/testcases/general/missing_static_super.dart:23:13: Error: Getter not found: 'missingStaticProperty'.
    --Super.missingStaticProperty;
            ^^^^^^^^^^^^^^^^^^^^^";
    invalid-expression "pkg/front_end/testcases/general/missing_static_super.dart:24:11: Error: Getter not found: 'missingStaticProperty'.
    Super.missingStaticProperty++;
          ^^^^^^^^^^^^^^^^^^^^^";
    invalid-expression "pkg/front_end/testcases/general/missing_static_super.dart:25:11: Error: Setter not found: 'missingStaticProperty'.
    Super.missingStaticProperty += 42;
          ^^^^^^^^^^^^^^^^^^^^^";
    invalid-expression "pkg/front_end/testcases/general/missing_static_super.dart:26:11: Error: Member not found: 'Super.missingStaticMethod'.
    Super.missingStaticMethod();
          ^^^^^^^^^^^^^^^^^^^";
    invalid-expression "pkg/front_end/testcases/general/missing_static_super.dart:27:11: Error: Member not found: 'missingStaticMethod'.
    Super.missingStaticMethod<int>;
          ^^^^^^^^^^^^^^^^^^^"<core::int>;
    invalid-expression "pkg/front_end/testcases/general/missing_static_super.dart:28:11: Error: Member not found: 'missingStaticIndex'.
    Super.missingStaticIndex[42];
          ^^^^^^^^^^^^^^^^^^"{<invalid>}.[](42);
    invalid-expression "pkg/front_end/testcases/general/missing_static_super.dart:29:11: Error: Member not found: 'missingStaticIndex'.
    Super.missingStaticIndex[42] = 42;
          ^^^^^^^^^^^^^^^^^^"{<invalid>}.[]=(42, 42);
  }
}
abstract class Mixin extends self::Super /*isMixinDeclaration*/  {
  method method() → dynamic {
    invalid-expression "pkg/front_end/testcases/general/missing_static_super.dart:35:11: Error: Superclass has no getter named 'missingSuperGetter'.
    super.missingSuperGetter;
          ^^^^^^^^^^^^^^^^^^";
    invalid-expression "pkg/front_end/testcases/general/missing_static_super.dart:36:11: Error: Superclass has no setter named 'missingSuperSetter'.
    super.missingSuperSetter = 42;
          ^^^^^^^^^^^^^^^^^^";
    invalid-expression "pkg/front_end/testcases/general/missing_static_super.dart:37:13: Error: Superclass has no setter named 'missingSuperProperty'.
    --super.missingSuperProperty;
            ^^^^^^^^^^^^^^^^^^^^";
    invalid-expression "pkg/front_end/testcases/general/missing_static_super.dart:38:11: Error: Superclass has no setter named 'missingSuperProperty'.
    super.missingSuperProperty++;
          ^^^^^^^^^^^^^^^^^^^^";
    invalid-expression "pkg/front_end/testcases/general/missing_static_super.dart:39:11: Error: Superclass has no setter named 'missingSuperProperty'.
    super.missingSuperProperty += 42;
          ^^^^^^^^^^^^^^^^^^^^";
    invalid-expression "pkg/front_end/testcases/general/missing_static_super.dart:40:11: Error: Superclass has no method named 'missingSuperMethod'.
    super.missingSuperMethod();
          ^^^^^^^^^^^^^^^^^^";
    invalid-expression "pkg/front_end/testcases/general/missing_static_super.dart:41:11: Error: Superclass has no getter named 'missingSuperMethod'.
    super.missingSuperMethod<int>;
          ^^^^^^^^^^^^^^^^^^"<core::int>;
    invalid-expression "pkg/front_end/testcases/general/missing_static_super.dart:42:11: Error: Superclass has no getter named 'missingSuperIndex'.
    super.missingSuperIndex[42];
          ^^^^^^^^^^^^^^^^^"{<invalid>}.[](42);
    invalid-expression "pkg/front_end/testcases/general/missing_static_super.dart:43:11: Error: Superclass has no getter named 'missingSuperIndex'.
    super.missingSuperIndex[42] = 42;
          ^^^^^^^^^^^^^^^^^"{<invalid>}.[]=(42, 42);
  }
  static method staticMethod() → dynamic {
    invalid-expression "pkg/front_end/testcases/general/missing_static_super.dart:47:11: Error: Member not found: 'missingStaticGetter'.
    Super.missingStaticGetter;
          ^^^^^^^^^^^^^^^^^^^";
    invalid-expression "pkg/front_end/testcases/general/missing_static_super.dart:48:11: Error: Setter not found: 'missingStaticSetter'.
    Super.missingStaticSetter = 42;
          ^^^^^^^^^^^^^^^^^^^";
    invalid-expression "pkg/front_end/testcases/general/missing_static_super.dart:49:13: Error: Getter not found: 'missingStaticProperty'.
    --Super.missingStaticProperty;
            ^^^^^^^^^^^^^^^^^^^^^";
    invalid-expression "pkg/front_end/testcases/general/missing_static_super.dart:50:11: Error: Getter not found: 'missingStaticProperty'.
    Super.missingStaticProperty++;
          ^^^^^^^^^^^^^^^^^^^^^";
    invalid-expression "pkg/front_end/testcases/general/missing_static_super.dart:51:11: Error: Setter not found: 'missingStaticProperty'.
    Super.missingStaticProperty += 42;
          ^^^^^^^^^^^^^^^^^^^^^";
    invalid-expression "pkg/front_end/testcases/general/missing_static_super.dart:52:11: Error: Member not found: 'Super.missingStaticMethod'.
    Super.missingStaticMethod();
          ^^^^^^^^^^^^^^^^^^^";
    invalid-expression "pkg/front_end/testcases/general/missing_static_super.dart:53:11: Error: Member not found: 'missingStaticMethod'.
    Super.missingStaticMethod<int>;
          ^^^^^^^^^^^^^^^^^^^"<core::int>;
    invalid-expression "pkg/front_end/testcases/general/missing_static_super.dart:54:11: Error: Member not found: 'missingStaticIndex'.
    Super.missingStaticIndex[42];
          ^^^^^^^^^^^^^^^^^^"{<invalid>}.[](42);
    invalid-expression "pkg/front_end/testcases/general/missing_static_super.dart:55:11: Error: Member not found: 'missingStaticIndex'.
    Super.missingStaticIndex[42] = 42;
          ^^^^^^^^^^^^^^^^^^"{<invalid>}.[]=(42, 42);
  }
}