library main /*isNonNullableByDefault*/;
//
// Problems in library:
//
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out.dart:78:8: Error: The return type of the method 'Class2b.method2' is 'int?', which does not match the return type, 'int', of the overridden method, 'LegacyClass.method2'.
// Change to a subtype of 'int'.
//   int? method2() => 0;
//        ^
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out_lib.dart:12:7: Context: This is the overridden method ('method2').
//   int method2() => 0;
//       ^
//
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out.dart:86:8: Error: The return type of the method 'Class2b.method4a' is 'int?', which does not match the return type, 'int', of the overridden method, 'LegacyClass.method4a'.
// Change to a subtype of 'int'.
//   int? method4a(int? a, int? b) => 0;
//        ^
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out_lib.dart:20:7: Context: This is the overridden method ('method4a').
//   int method4a(int a, int b) => 0;
//       ^
//
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out.dart:88:8: Error: The return type of the method 'Class2b.method4b' is 'int?', which does not match the return type, 'int', of the overridden method, 'LegacyClass.method4b'.
// Change to a subtype of 'int'.
//   int? method4b(int? a, [int? b]) => 0;
//        ^
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out_lib.dart:22:7: Context: This is the overridden method ('method4b').
//   int method4b(int a, [int b]) => 0;
//       ^
//
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out.dart:90:8: Error: The return type of the method 'Class2b.method4c' is 'int?', which does not match the return type, 'int', of the overridden method, 'LegacyClass.method4c'.
// Change to a subtype of 'int'.
//   int? method4c([int? a, int? b]) => 0;
//        ^
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out_lib.dart:24:7: Context: This is the overridden method ('method4c').
//   int method4c([int a, int b]) => 0;
//       ^
//
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out.dart:96:30: Error: The required named parameter 'a' in method 'Class2b.method5c' is not required in overridden method 'LegacyClass.method5c'.
//   int method5c({required int a, required int b}) => 0;
//                              ^
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out_lib.dart:30:7: Context: This is the overridden method ('method5c').
//   int method5c({int a, int b}) => 0;
//       ^
//
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out.dart:96:46: Error: The required named parameter 'b' in method 'Class2b.method5c' is not required in overridden method 'LegacyClass.method5c'.
//   int method5c({required int a, required int b}) => 0;
//                                              ^
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out_lib.dart:30:7: Context: This is the overridden method ('method5c').
//   int method5c({int a, int b}) => 0;
//       ^
//
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out.dart:98:8: Error: The return type of the method 'Class2b.method6a' is 'int?', which does not match the return type, 'int', of the overridden method, 'LegacyClass.method6a'.
// Change to a subtype of 'int'.
//   int? method6a(int? a, {int? b}) => 0;
//        ^
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out_lib.dart:32:7: Context: This is the overridden method ('method6a').
//   int method6a(int a, {int b}) => 0;
//       ^
//
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out.dart:100:8: Error: The return type of the method 'Class2b.method6b' is 'int?', which does not match the return type, 'int', of the overridden method, 'LegacyClass.method6b'.
// Change to a subtype of 'int'.
//   int? method6b({int? a, int? b}) => 0;
//        ^
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out_lib.dart:34:7: Context: This is the overridden method ('method6b').
//   int method6b({int a, int b}) => 0;
//       ^
//
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out.dart:102:8: Error: The return type of the method 'Class2b.method6c' is 'int?', which does not match the return type, 'int', of the overridden method, 'LegacyClass.method6c'.
// Change to a subtype of 'int'.
//   int? method6c({required int? a, required int? b}) => 0;
//        ^
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out_lib.dart:36:7: Context: This is the overridden method ('method6c').
//   int method6c({int a, int b}) => 0;
//       ^
//
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out.dart:102:32: Error: The required named parameter 'a' in method 'Class2b.method6c' is not required in overridden method 'LegacyClass.method6c'.
//   int? method6c({required int? a, required int? b}) => 0;
//                                ^
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out_lib.dart:36:7: Context: This is the overridden method ('method6c').
//   int method6c({int a, int b}) => 0;
//       ^
//
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out.dart:102:49: Error: The required named parameter 'b' in method 'Class2b.method6c' is not required in overridden method 'LegacyClass.method6c'.
//   int? method6c({required int? a, required int? b}) => 0;
//                                                 ^
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out_lib.dart:36:7: Context: This is the overridden method ('method6c').
//   int method6c({int a, int b}) => 0;
//       ^
//
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out.dart:106:12: Error: The return type of the method 'Class2b.getter2' is 'int?', which does not match the return type, 'int', of the overridden method, 'LegacyClass.getter2'.
// Change to a subtype of 'int'.
//   int? get getter2 => 0;
//            ^
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out_lib.dart:40:11: Context: This is the overridden method ('getter2').
//   int get getter2 => 0;
//           ^
//
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out.dart:114:8: Error: The return type of the method 'Class2b.field2' is 'int?', which does not match the return type, 'int', of the overridden method, 'LegacyClass.field2'.
// Change to a subtype of 'int'.
//   int? field2;
//        ^
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out_lib.dart:48:7: Context: This is the overridden method ('field2').
//   int field2;
//       ^
//
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out.dart:120:12: Error: The return type of the method 'Class2b.field4' is 'int?', which does not match the return type, 'int', of the overridden method, 'LegacyClass.field4'.
// Change to a subtype of 'int'.
//   int? get field4 => 0;
//            ^
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out_lib.dart:52:7: Context: This is the overridden method ('field4').
//   int field4;
//       ^
//
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out.dart:128:12: Error: The return type of the method 'Class2b.property2' is 'int?', which does not match the return type, 'int', of the overridden method, 'LegacyClass.property2'.
// Change to a subtype of 'int'.
//   int? get property2 => 0;
//            ^
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out_lib.dart:58:11: Context: This is the overridden method ('property2').
//   int get property2 => 0;
//           ^
//
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out.dart:134:8: Error: The return type of the method 'Class2b.property4' is 'int?', which does not match the return type, 'int', of the overridden method, 'LegacyClass.property4'.
// Change to a subtype of 'int'.
//   int? property4;
//        ^
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out_lib.dart:66:11: Context: This is the overridden method ('property4').
//   int get property4 => 0;
//           ^
//
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out.dart:73:7: Error: The implementation of 'method4a' in the non-abstract class 'Class2a' does not conform to its interface.
// class Class2a extends LegacyClass implements Interface {}
//       ^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out_lib.dart:20:20: Context: The parameter 'a' of the method 'LegacyClass.method4a' has type 'int', which does not match the corresponding type, 'int?', in the overridden method, 'Interface.method4a'.
// Change to a supertype of 'int?', or, for a covariant parameter, a subtype.
//   int method4a(int a, int b) => 0;
//                    ^
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out.dart:20:8: Context: This is the overridden method ('method4a').
//   int? method4a(int? a, int? b);
//        ^
//
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out.dart:73:7: Error: Class 'Class2a' inherits multiple members named 'method4a' with incompatible signatures.
// Try adding a declaration of 'method4a' to 'Class2a'.
// class Class2a extends LegacyClass implements Interface {}
//       ^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out_lib.dart:20:7: Context: This is one of the inherited members.
//   int method4a(int a, int b) => 0;
//       ^^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out.dart:20:8: Context: This is one of the inherited members.
//   int? method4a(int? a, int? b);
//        ^^^^^^^^
//
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out.dart:73:7: Error: The implementation of 'method4b' in the non-abstract class 'Class2a' does not conform to its interface.
// class Class2a extends LegacyClass implements Interface {}
//       ^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out_lib.dart:22:20: Context: The parameter 'a' of the method 'LegacyClass.method4b' has type 'int', which does not match the corresponding type, 'int?', in the overridden method, 'Interface.method4b'.
// Change to a supertype of 'int?', or, for a covariant parameter, a subtype.
//   int method4b(int a, [int b]) => 0;
//                    ^
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out.dart:22:8: Context: This is the overridden method ('method4b').
//   int? method4b(int? a, [int? b]);
//        ^
//
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out.dart:73:7: Error: Class 'Class2a' inherits multiple members named 'method4b' with incompatible signatures.
// Try adding a declaration of 'method4b' to 'Class2a'.
// class Class2a extends LegacyClass implements Interface {}
//       ^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out_lib.dart:22:7: Context: This is one of the inherited members.
//   int method4b(int a, [int b]) => 0;
//       ^^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out.dart:22:8: Context: This is one of the inherited members.
//   int? method4b(int? a, [int? b]);
//        ^^^^^^^^
//
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out.dart:73:7: Error: The implementation of 'method4c' in the non-abstract class 'Class2a' does not conform to its interface.
// class Class2a extends LegacyClass implements Interface {}
//       ^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out_lib.dart:24:21: Context: The parameter 'a' of the method 'LegacyClass.method4c' has type 'int', which does not match the corresponding type, 'int?', in the overridden method, 'Interface.method4c'.
// Change to a supertype of 'int?', or, for a covariant parameter, a subtype.
//   int method4c([int a, int b]) => 0;
//                     ^
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out.dart:24:8: Context: This is the overridden method ('method4c').
//   int? method4c([int? a, int? b]);
//        ^
//
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out.dart:73:7: Error: Class 'Class2a' inherits multiple members named 'method4c' with incompatible signatures.
// Try adding a declaration of 'method4c' to 'Class2a'.
// class Class2a extends LegacyClass implements Interface {}
//       ^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out_lib.dart:24:7: Context: This is one of the inherited members.
//   int method4c([int a, int b]) => 0;
//       ^^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out.dart:24:8: Context: This is one of the inherited members.
//   int? method4c([int? a, int? b]);
//        ^^^^^^^^
//
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out.dart:73:7: Error: The implementation of 'method6a' in the non-abstract class 'Class2a' does not conform to its interface.
// class Class2a extends LegacyClass implements Interface {}
//       ^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out_lib.dart:32:20: Context: The parameter 'a' of the method 'LegacyClass.method6a' has type 'int', which does not match the corresponding type, 'int?', in the overridden method, 'Interface.method6a'.
// Change to a supertype of 'int?', or, for a covariant parameter, a subtype.
//   int method6a(int a, {int b}) => 0;
//                    ^
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out.dart:32:8: Context: This is the overridden method ('method6a').
//   int? method6a(int? a, {int? b});
//        ^
//
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out.dart:73:7: Error: Class 'Class2a' inherits multiple members named 'method6a' with incompatible signatures.
// Try adding a declaration of 'method6a' to 'Class2a'.
// class Class2a extends LegacyClass implements Interface {}
//       ^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out_lib.dart:32:7: Context: This is one of the inherited members.
//   int method6a(int a, {int b}) => 0;
//       ^^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out.dart:32:8: Context: This is one of the inherited members.
//   int? method6a(int? a, {int? b});
//        ^^^^^^^^
//
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out.dart:73:7: Error: The implementation of 'method6b' in the non-abstract class 'Class2a' does not conform to its interface.
// class Class2a extends LegacyClass implements Interface {}
//       ^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out_lib.dart:34:21: Context: The parameter 'a' of the method 'LegacyClass.method6b' has type 'int', which does not match the corresponding type, 'int?', in the overridden method, 'Interface.method6b'.
// Change to a supertype of 'int?', or, for a covariant parameter, a subtype.
//   int method6b({int a, int b}) => 0;
//                     ^
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out.dart:34:8: Context: This is the overridden method ('method6b').
//   int? method6b({int? a, int? b});
//        ^
//
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out.dart:73:7: Error: Class 'Class2a' inherits multiple members named 'method6b' with incompatible signatures.
// Try adding a declaration of 'method6b' to 'Class2a'.
// class Class2a extends LegacyClass implements Interface {}
//       ^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out_lib.dart:34:7: Context: This is one of the inherited members.
//   int method6b({int a, int b}) => 0;
//       ^^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out.dart:34:8: Context: This is one of the inherited members.
//   int? method6b({int? a, int? b});
//        ^^^^^^^^
//
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out.dart:73:7: Error: The implementation of 'method6c' in the non-abstract class 'Class2a' does not conform to its interface.
// class Class2a extends LegacyClass implements Interface {}
//       ^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out_lib.dart:36:21: Context: The parameter 'a' of the method 'LegacyClass.method6c' has type 'int', which does not match the corresponding type, 'int?', in the overridden method, 'Interface.method6c'.
// Change to a supertype of 'int?', or, for a covariant parameter, a subtype.
//   int method6c({int a, int b}) => 0;
//                     ^
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out.dart:36:8: Context: This is the overridden method ('method6c').
//   int? method6c({required int? a, required int? b});
//        ^
//
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out.dart:73:7: Error: Class 'Class2a' inherits multiple members named 'method6c' with incompatible signatures.
// Try adding a declaration of 'method6c' to 'Class2a'.
// class Class2a extends LegacyClass implements Interface {}
//       ^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out_lib.dart:36:7: Context: This is one of the inherited members.
//   int method6c({int a, int b}) => 0;
//       ^^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out.dart:36:8: Context: This is one of the inherited members.
//   int? method6c({required int? a, required int? b});
//        ^^^^^^^^
//
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out.dart:73:7: Error: The implementation of 'field2' in the non-abstract class 'Class2a' does not conform to its interface.
// class Class2a extends LegacyClass implements Interface {}
//       ^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out_lib.dart:48:7: Context: The field 'LegacyClass.field2' has type 'int', which does not match the corresponding type, 'int?', in the overridden setter, 'Interface.field2'.
//   int field2;
//       ^
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out.dart:48:8: Context: This is the overridden method ('field2').
//   int? field2;
//        ^
//
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out.dart:73:7: Error: The implementation of 'field4' in the non-abstract class 'Class2a' does not conform to its interface.
// class Class2a extends LegacyClass implements Interface {}
//       ^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out_lib.dart:52:7: Context: The field 'LegacyClass.field4' has type 'int', which does not match the corresponding type, 'int?', in the overridden setter, 'Interface.field4'.
//   int field4;
//       ^
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out.dart:56:12: Context: This is the overridden method ('field4').
//   void set field4(int? value);
//            ^
//
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out.dart:73:7: Error: The implementation of 'property2' in the non-abstract class 'Class2a' does not conform to its interface.
// class Class2a extends LegacyClass implements Interface {}
//       ^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out_lib.dart:60:26: Context: The parameter 'value' of the method 'LegacyClass.property2' has type 'int', which does not match the corresponding type, 'int?', in the overridden method, 'Interface.property2'.
// Change to a supertype of 'int?', or, for a covariant parameter, a subtype.
//   void set property2(int value) {}
//                          ^
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out.dart:64:12: Context: This is the overridden method ('property2').
//   void set property2(int? value);
//            ^
//
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out.dart:73:7: Error: The implementation of 'property4' in the non-abstract class 'Class2a' does not conform to its interface.
// class Class2a extends LegacyClass implements Interface {}
//       ^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out_lib.dart:68:26: Context: The parameter 'value' of the method 'LegacyClass.property4' has type 'int', which does not match the corresponding type, 'int?', in the overridden method, 'Interface.property4'.
// Change to a supertype of 'int?', or, for a covariant parameter, a subtype.
//   void set property4(int value) {}
//                          ^
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out.dart:68:8: Context: This is the overridden method ('property4').
//   int? property4;
//        ^
//
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out.dart:73:7: Error: The implementation of 'setter2' in the non-abstract class 'Class2a' does not conform to its interface.
// class Class2a extends LegacyClass implements Interface {}
//       ^^^^^^^
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out_lib.dart:44:24: Context: The parameter 'value' of the method 'LegacyClass.setter2' has type 'int', which does not match the corresponding type, 'int?', in the overridden method, 'Interface.setter2'.
// Change to a supertype of 'int?', or, for a covariant parameter, a subtype.
//   void set setter2(int value) {}
//                        ^
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out.dart:44:12: Context: This is the overridden method ('setter2').
//   void set setter2(int? value);
//            ^
//
import self as self;
import "dart:core" as core;
import "member_inheritance_from_opt_out_lib.dart" as opt;

import "org-dartlang-testcase:///member_inheritance_from_opt_out_lib.dart";

abstract class Interface extends core::Object {
  field core::int field1;
  field core::int? field2;
  field core::int property3;
  field core::int? property4;
  synthetic constructor •() → self::Interface
    ;
  abstract method method1() → core::int;
  abstract method method2() → core::int?;
  abstract method method3a(core::int a, core::int b) → core::int;
  abstract method method3b(core::int a, [core::int b]) → core::int;
  abstract method method3c([core::int a, core::int b]) → core::int;
  abstract method method4a(core::int? a, core::int? b) → core::int?;
  abstract method method4b(core::int? a, [core::int? b]) → core::int?;
  abstract method method4c([core::int? a, core::int? b]) → core::int?;
  abstract method method5a(core::int a, {core::int b = 0}) → core::int;
  abstract method method5b({core::int a = 0, core::int b = 0}) → core::int;
  abstract method method5c({required core::int a, required core::int b}) → core::int;
  abstract method method6a(core::int? a, {core::int? b}) → core::int?;
  abstract method method6b({core::int? a, core::int? b}) → core::int?;
  abstract method method6c({required core::int? a, required core::int? b}) → core::int?;
  abstract get getter1() → core::int;
  abstract get getter2() → core::int?;
  abstract set setter1(core::int value) → void;
  abstract set setter2(core::int? value) → void;
  abstract get field3() → core::int;
  abstract set field3(core::int value) → void;
  abstract get field4() → core::int?;
  abstract set field4(core::int? value) → void;
  abstract get property1() → core::int;
  abstract set property1(core::int value) → void;
  abstract get property2() → core::int?;
  abstract set property2(core::int? value) → void;
}
class Class1 extends opt::LegacyClass {
  synthetic constructor •() → self::Class1
    ;
}
class Class2a extends opt::LegacyClass implements self::Interface {
  synthetic constructor •() → self::Class2a
    ;
  abstract forwarding-stub set field2(core::int? _) → void;
  abstract forwarding-stub set field4(core::int? value) → void;
  abstract forwarding-stub set property2(core::int? value) → void;
  abstract forwarding-stub set property4(core::int? _) → void;
  abstract forwarding-stub set setter2(core::int? value) → void;
}
class Class2b extends opt::LegacyClass implements self::Interface {
  field core::int field1;
  field core::int? field2;
  field core::int property3;
  field core::int? property4;
  synthetic constructor •() → self::Class2b
    ;
  method method1() → core::int
    ;
  method method2() → core::int?
    ;
  method method3a(core::int a, core::int b) → core::int
    ;
  method method3b(core::int a, [core::int b = 42]) → core::int
    ;
  method method3c([core::int a = 42, core::int b = 42]) → core::int
    ;
  method method4a(core::int? a, core::int? b) → core::int?
    ;
  method method4b(core::int? a, [core::int? b]) → core::int?
    ;
  method method4c([core::int? a, core::int? b]) → core::int?
    ;
  method method5a(core::int a, {core::int b = 0}) → core::int
    ;
  method method5b({core::int a = 0, core::int b = 0}) → core::int
    ;
  method method5c({required core::int a, required core::int b}) → core::int
    ;
  method method6a(core::int? a, {core::int? b}) → core::int?
    ;
  method method6b({core::int? a, core::int? b}) → core::int?
    ;
  method method6c({required core::int? a, required core::int? b}) → core::int?
    ;
  get getter1() → core::int
    ;
  get getter2() → core::int?
    ;
  set setter1(core::int value) → void
    ;
  set setter2(core::int? value) → void
    ;
  get field3() → core::int
    ;
  set field3(core::int value) → void
    ;
  get field4() → core::int?
    ;
  set field4(core::int? value) → void
    ;
  get property1() → core::int
    ;
  set property1(core::int value) → void
    ;
  get property2() → core::int?
    ;
  set property2(core::int? value) → void
    ;
}
class Class3a extends opt::GenericLegacyClass<core::int> {
  synthetic constructor •() → self::Class3a
    ;
}
class Class3b extends opt::GenericLegacyClass<core::int?> {
  synthetic constructor •() → self::Class3b
    ;
}
class Class3c<S extends core::Object? = dynamic> extends opt::GenericLegacyClass<self::Class3c::S%> {
  synthetic constructor •() → self::Class3c<self::Class3c::S%>
    ;
}
static method main() → dynamic
  ;

library opt_out /*isNonNullableByDefault*/;
//
// Problems in library:
//
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out_lib.dart:5:1: Error: A library can't opt out of non-nullable by default, when in nnbd-strong mode.
// // @dart=2.5
// ^^^^^^^^^^^^
//
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out_lib.dart:16:28: Error: Optional parameter 'b' should have a default value because its type 'int' doesn't allow null.
//   int method3b(int a, [int b]) => 0;
//                            ^
//
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out_lib.dart:18:21: Error: Optional parameter 'a' should have a default value because its type 'int' doesn't allow null.
//   int method3c([int a, int b]) => 0;
//                     ^
//
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out_lib.dart:18:28: Error: Optional parameter 'b' should have a default value because its type 'int' doesn't allow null.
//   int method3c([int a, int b]) => 0;
//                            ^
//
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out_lib.dart:22:28: Error: Optional parameter 'b' should have a default value because its type 'int' doesn't allow null.
//   int method4b(int a, [int b]) => 0;
//                            ^
//
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out_lib.dart:24:21: Error: Optional parameter 'a' should have a default value because its type 'int' doesn't allow null.
//   int method4c([int a, int b]) => 0;
//                     ^
//
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out_lib.dart:24:28: Error: Optional parameter 'b' should have a default value because its type 'int' doesn't allow null.
//   int method4c([int a, int b]) => 0;
//                            ^
//
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out_lib.dart:26:28: Error: Optional parameter 'b' should have a default value because its type 'int' doesn't allow null.
//   int method5a(int a, {int b}) => 0;
//                            ^
//
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out_lib.dart:28:21: Error: Optional parameter 'a' should have a default value because its type 'int' doesn't allow null.
//   int method5b({int a, int b}) => 0;
//                     ^
//
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out_lib.dart:28:28: Error: Optional parameter 'b' should have a default value because its type 'int' doesn't allow null.
//   int method5b({int a, int b}) => 0;
//                            ^
//
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out_lib.dart:30:21: Error: Optional parameter 'a' should have a default value because its type 'int' doesn't allow null.
//   int method5c({int a, int b}) => 0;
//                     ^
//
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out_lib.dart:30:28: Error: Optional parameter 'b' should have a default value because its type 'int' doesn't allow null.
//   int method5c({int a, int b}) => 0;
//                            ^
//
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out_lib.dart:32:28: Error: Optional parameter 'b' should have a default value because its type 'int' doesn't allow null.
//   int method6a(int a, {int b}) => 0;
//                            ^
//
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out_lib.dart:34:21: Error: Optional parameter 'a' should have a default value because its type 'int' doesn't allow null.
//   int method6b({int a, int b}) => 0;
//                     ^
//
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out_lib.dart:34:28: Error: Optional parameter 'b' should have a default value because its type 'int' doesn't allow null.
//   int method6b({int a, int b}) => 0;
//                            ^
//
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out_lib.dart:36:21: Error: Optional parameter 'a' should have a default value because its type 'int' doesn't allow null.
//   int method6c({int a, int b}) => 0;
//                     ^
//
// pkg/front_end/testcases/nnbd_mixed/member_inheritance_from_opt_out_lib.dart:36:28: Error: Optional parameter 'b' should have a default value because its type 'int' doesn't allow null.
//   int method6c({int a, int b}) => 0;
//                            ^
//
import self as opt;
import "dart:core" as core;

class LegacyClass extends core::Object {
  field core::int field1;
  field core::int field2;
  field core::int field3;
  field core::int field4;
  synthetic constructor •() → opt::LegacyClass
    ;
  method method1() → core::int
    ;
  method method2() → core::int
    ;
  method method3a(core::int a, core::int b) → core::int
    ;
  method method3b(core::int a, [core::int b]) → core::int
    ;
  method method3c([core::int a, core::int b]) → core::int
    ;
  method method4a(core::int a, core::int b) → core::int
    ;
  method method4b(core::int a, [core::int b]) → core::int
    ;
  method method4c([core::int a, core::int b]) → core::int
    ;
  method method5a(core::int a, {core::int b}) → core::int
    ;
  method method5b({core::int a, core::int b}) → core::int
    ;
  method method5c({core::int a, core::int b}) → core::int
    ;
  method method6a(core::int a, {core::int b}) → core::int
    ;
  method method6b({core::int a, core::int b}) → core::int
    ;
  method method6c({core::int a, core::int b}) → core::int
    ;
  get getter1() → core::int
    ;
  get getter2() → core::int
    ;
  set setter1(core::int value) → void
    ;
  set setter2(core::int value) → void
    ;
  get property1() → core::int
    ;
  set property1(core::int value) → void
    ;
  get property2() → core::int
    ;
  set property2(core::int value) → void
    ;
  get property3() → core::int
    ;
  set property3(core::int value) → void
    ;
  get property4() → core::int
    ;
  set property4(core::int value) → void
    ;
}
class GenericLegacyClass<T extends core::Object? = dynamic> extends core::Object {
  synthetic constructor •() → opt::GenericLegacyClass<opt::GenericLegacyClass::T%>
    ;
  method method1() → opt::GenericLegacyClass::T%
    ;
}