library /*isNonNullableByDefault*/;
//
// Problems in library:
//
// pkg/front_end/testcases/general/super_access_in_initializer.dart:15:16: Error: Undefined name 'property'.
//       : assert(property),
//                ^^^^^^^^
//
// pkg/front_end/testcases/general/super_access_in_initializer.dart:16:22: Error: Undefined name 'property'.
//         this.field = property,
//                      ^^^^^^^^
//
// pkg/front_end/testcases/general/super_access_in_initializer.dart:17:15: Error: Undefined name 'property'.
//         super(property);
//               ^^^^^^^^
//
// pkg/front_end/testcases/general/super_access_in_initializer.dart:19:27: Error: Undefined name 'property'.
//   Class.redirect() : this(property);
//                           ^^^^^^^^
//
import self as self;
import "dart:core" as core;

class Super extends core::Object {
  constructor •(core::bool value) → self::Super
    : super core::Object::•()
    ;
  get property() → core::bool
    return true;
}
class Class extends self::Super {
  field core::bool field;
  constructor •(core::bool value) → self::Class
    : assert(invalid-expression "pkg/front_end/testcases/general/super_access_in_initializer.dart:15:16: Error: Undefined name 'property'.
      : assert(property),
               ^^^^^^^^"), self::Class::field = invalid-expression "pkg/front_end/testcases/general/super_access_in_initializer.dart:16:22: Error: Undefined name 'property'.
        this.field = property,
                     ^^^^^^^^", super self::Super::•(invalid-expression "pkg/front_end/testcases/general/super_access_in_initializer.dart:17:15: Error: Undefined name 'property'.
        super(property);
              ^^^^^^^^")
    ;
  constructor redirect() → self::Class
    : this self::Class::•(invalid-expression "pkg/front_end/testcases/general/super_access_in_initializer.dart:19:27: Error: Undefined name 'property'.
  Class.redirect() : this(property);
                          ^^^^^^^^")
    ;
}
static method main() → dynamic {}