| library /*isNonNullableByDefault*/; |
| // |
| // Problems in library: |
| // |
| // pkg/front_end/testcases/nnbd/issue40951.dart:9:3: Error: This constructor should initialize field 'field1' because its type 'num' doesn't allow null. |
| // A() {} |
| // ^ |
| // pkg/front_end/testcases/nnbd/issue40951.dart:6:7: Context: 'field1' is defined here. |
| // num field1; |
| // ^^^^^^ |
| // |
| // pkg/front_end/testcases/nnbd/issue40951.dart:9:3: Error: This constructor should initialize field 'field2' because its type 'num' doesn't allow null. |
| // A() {} |
| // ^ |
| // pkg/front_end/testcases/nnbd/issue40951.dart:7:7: Context: 'field2' is defined here. |
| // num field2; |
| // ^^^^^^ |
| // |
| // pkg/front_end/testcases/nnbd/issue40951.dart:10:3: Error: This constructor should initialize field 'field1' because its type 'num' doesn't allow null. |
| // A.foo() {} |
| // ^ |
| // pkg/front_end/testcases/nnbd/issue40951.dart:6:7: Context: 'field1' is defined here. |
| // num field1; |
| // ^^^^^^ |
| // |
| // pkg/front_end/testcases/nnbd/issue40951.dart:10:3: Error: This constructor should initialize field 'field2' because its type 'num' doesn't allow null. |
| // A.foo() {} |
| // ^ |
| // pkg/front_end/testcases/nnbd/issue40951.dart:7:7: Context: 'field2' is defined here. |
| // num field2; |
| // ^^^^^^ |
| // |
| // pkg/front_end/testcases/nnbd/issue40951.dart:11:3: Error: This constructor should initialize field 'field2' because its type 'num' doesn't allow null. |
| // A.bar(this.field1) {} |
| // ^ |
| // pkg/front_end/testcases/nnbd/issue40951.dart:7:7: Context: 'field2' is defined here. |
| // num field2; |
| // ^^^^^^ |
| // |
| // pkg/front_end/testcases/nnbd/issue40951.dart:19:3: Error: This constructor should initialize field 'field1' because its type 'num' doesn't allow null. |
| // B() {} |
| // ^ |
| // pkg/front_end/testcases/nnbd/issue40951.dart:16:7: Context: 'field1' is defined here. |
| // num field1; |
| // ^^^^^^ |
| // |
| // pkg/front_end/testcases/nnbd/issue40951.dart:19:3: Error: This constructor should initialize field 'field2' because its type 'num' doesn't allow null. |
| // B() {} |
| // ^ |
| // pkg/front_end/testcases/nnbd/issue40951.dart:17:7: Context: 'field2' is defined here. |
| // num field2; |
| // ^^^^^^ |
| // |
| // pkg/front_end/testcases/nnbd/issue40951.dart:20:3: Error: This constructor should initialize field 'field1' because its type 'num' doesn't allow null. |
| // B.foo() {} |
| // ^ |
| // pkg/front_end/testcases/nnbd/issue40951.dart:16:7: Context: 'field1' is defined here. |
| // num field1; |
| // ^^^^^^ |
| // |
| // pkg/front_end/testcases/nnbd/issue40951.dart:20:3: Error: This constructor should initialize field 'field2' because its type 'num' doesn't allow null. |
| // B.foo() {} |
| // ^ |
| // pkg/front_end/testcases/nnbd/issue40951.dart:17:7: Context: 'field2' is defined here. |
| // num field2; |
| // ^^^^^^ |
| // |
| // pkg/front_end/testcases/nnbd/issue40951.dart:21:3: Error: This constructor should initialize field 'field2' because its type 'num' doesn't allow null. |
| // B.bar(this.field1) {} |
| // ^ |
| // pkg/front_end/testcases/nnbd/issue40951.dart:17:7: Context: 'field2' is defined here. |
| // num field2; |
| // ^^^^^^ |
| // |
| // pkg/front_end/testcases/nnbd/issue40951.dart:29:3: Error: Final field 'field1' is not initialized by this constructor. |
| // Try to initialize the field using an initializing formal or a field initializer. |
| // C() {} |
| // ^ |
| // pkg/front_end/testcases/nnbd/issue40951.dart:26:14: Context: 'field1' is defined here. |
| // final num? field1; |
| // ^^^^^^ |
| // |
| // pkg/front_end/testcases/nnbd/issue40951.dart:29:3: Error: Final field 'field2' is not initialized by this constructor. |
| // Try to initialize the field using an initializing formal or a field initializer. |
| // C() {} |
| // ^ |
| // pkg/front_end/testcases/nnbd/issue40951.dart:27:14: Context: 'field2' is defined here. |
| // final num? field2; |
| // ^^^^^^ |
| // |
| // pkg/front_end/testcases/nnbd/issue40951.dart:30:3: Error: Final field 'field1' is not initialized by this constructor. |
| // Try to initialize the field using an initializing formal or a field initializer. |
| // C.foo() {} |
| // ^^^ |
| // pkg/front_end/testcases/nnbd/issue40951.dart:26:14: Context: 'field1' is defined here. |
| // final num? field1; |
| // ^^^^^^ |
| // |
| // pkg/front_end/testcases/nnbd/issue40951.dart:30:3: Error: Final field 'field2' is not initialized by this constructor. |
| // Try to initialize the field using an initializing formal or a field initializer. |
| // C.foo() {} |
| // ^^^ |
| // pkg/front_end/testcases/nnbd/issue40951.dart:27:14: Context: 'field2' is defined here. |
| // final num? field2; |
| // ^^^^^^ |
| // |
| // pkg/front_end/testcases/nnbd/issue40951.dart:31:3: Error: Final field 'field2' is not initialized by this constructor. |
| // Try to initialize the field using an initializing formal or a field initializer. |
| // C.bar(this.field1) {} |
| // ^^^ |
| // pkg/front_end/testcases/nnbd/issue40951.dart:27:14: Context: 'field2' is defined here. |
| // final num? field2; |
| // ^^^^^^ |
| // |
| // pkg/front_end/testcases/nnbd/issue40951.dart:39:3: Error: Final field 'field1' is not initialized by this constructor. |
| // Try to initialize the field using an initializing formal or a field initializer. |
| // D() {} |
| // ^ |
| // pkg/front_end/testcases/nnbd/issue40951.dart:36:14: Context: 'field1' is defined here. |
| // final num? field1; |
| // ^^^^^^ |
| // |
| // pkg/front_end/testcases/nnbd/issue40951.dart:39:3: Error: Final field 'field2' is not initialized by this constructor. |
| // Try to initialize the field using an initializing formal or a field initializer. |
| // D() {} |
| // ^ |
| // pkg/front_end/testcases/nnbd/issue40951.dart:37:14: Context: 'field2' is defined here. |
| // final num? field2; |
| // ^^^^^^ |
| // |
| // pkg/front_end/testcases/nnbd/issue40951.dart:40:3: Error: Final field 'field1' is not initialized by this constructor. |
| // Try to initialize the field using an initializing formal or a field initializer. |
| // D.foo() {} |
| // ^^^ |
| // pkg/front_end/testcases/nnbd/issue40951.dart:36:14: Context: 'field1' is defined here. |
| // final num? field1; |
| // ^^^^^^ |
| // |
| // pkg/front_end/testcases/nnbd/issue40951.dart:40:3: Error: Final field 'field2' is not initialized by this constructor. |
| // Try to initialize the field using an initializing formal or a field initializer. |
| // D.foo() {} |
| // ^^^ |
| // pkg/front_end/testcases/nnbd/issue40951.dart:37:14: Context: 'field2' is defined here. |
| // final num? field2; |
| // ^^^^^^ |
| // |
| // pkg/front_end/testcases/nnbd/issue40951.dart:41:3: Error: Final field 'field2' is not initialized by this constructor. |
| // Try to initialize the field using an initializing formal or a field initializer. |
| // D.bar(this.field1) {} |
| // ^^^ |
| // pkg/front_end/testcases/nnbd/issue40951.dart:37:14: Context: 'field2' is defined here. |
| // final num? field2; |
| // ^^^^^^ |
| // |
| import self as self; |
| import "dart:core" as core; |
| |
| class A extends core::Object { |
| field core::num field1; |
| field core::num field2; |
| constructor •() → self::A |
| : self::A::field2 = null, self::A::field1 = null, super core::Object::•() {} |
| constructor foo() → self::A |
| : self::A::field2 = null, self::A::field1 = null, super core::Object::•() {} |
| constructor bar(core::num field1) → self::A |
| : self::A::field2 = null, self::A::field1 = field1, super core::Object::•() {} |
| constructor baz(core::num field1, core::num field2) → self::A |
| : self::A::field1 = field1, self::A::field2 = field2, super core::Object::•() {} |
| } |
| abstract class B extends core::Object { |
| field core::num field1; |
| field core::num field2; |
| constructor •() → self::B |
| : self::B::field2 = null, self::B::field1 = null, super core::Object::•() {} |
| constructor foo() → self::B |
| : self::B::field2 = null, self::B::field1 = null, super core::Object::•() {} |
| constructor bar(core::num field1) → self::B |
| : self::B::field2 = null, self::B::field1 = field1, super core::Object::•() {} |
| constructor baz(core::num field1, core::num field2) → self::B |
| : self::B::field1 = field1, self::B::field2 = field2, super core::Object::•() {} |
| } |
| class C extends core::Object { |
| final field core::num? field1; |
| final field core::num? field2; |
| constructor •() → self::C |
| : self::C::field2 = null, self::C::field1 = null, super core::Object::•() {} |
| constructor foo() → self::C |
| : self::C::field2 = null, self::C::field1 = null, super core::Object::•() {} |
| constructor bar(core::num? field1) → self::C |
| : self::C::field2 = null, self::C::field1 = field1, super core::Object::•() {} |
| constructor baz(core::num? field1, core::num? field2) → self::C |
| : self::C::field1 = field1, self::C::field2 = field2, super core::Object::•() {} |
| } |
| abstract class D extends core::Object { |
| final field core::num? field1; |
| final field core::num? field2; |
| constructor •() → self::D |
| : self::D::field2 = null, self::D::field1 = null, super core::Object::•() {} |
| constructor foo() → self::D |
| : self::D::field2 = null, self::D::field1 = null, super core::Object::•() {} |
| constructor bar(core::num? field1) → self::D |
| : self::D::field2 = null, self::D::field1 = field1, super core::Object::•() {} |
| constructor baz(core::num? field1, core::num? field2) → self::D |
| : self::D::field1 = field1, self::D::field2 = field2, super core::Object::•() {} |
| } |
| static method main() → dynamic {} |
