| library /*isNonNullableByDefault*/; |
| // |
| // Problems in library: |
| // |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:53:7: Error: Can't infer a type for 'field2' as the overridden members don't have a combined signature. |
| // Try adding an explicit type. |
| // var field2; // error |
| // ^^^^^^ |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:7:7: Context: This is one of the overridden members. |
| // var field2 = 0; |
| // ^^^^^^ |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:30:7: Context: This is one of the overridden members. |
| // var field2 = ''; |
| // ^^^^^^ |
| // |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:55:7: Error: Can't infer a type for 'field4' as the overridden members don't have a combined signature. |
| // Try adding an explicit type. |
| // var field4 = 0; // error |
| // ^^^^^^ |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:9:7: Context: This is one of the overridden members. |
| // var field4 = 0; |
| // ^^^^^^ |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:32:7: Context: This is one of the overridden members. |
| // var field4 = ''; |
| // ^^^^^^ |
| // |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:57:7: Error: Can't infer a type for 'field6' as the overridden members don't have a combined signature. |
| // Try adding an explicit type. |
| // var field6; // error |
| // ^^^^^^ |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:11:8: Context: This is one of the overridden members. |
| // int? field6; |
| // ^^^^^^ |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:34:11: Context: This is one of the overridden members. |
| // String? field6; |
| // ^^^^^^ |
| // |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:59:7: Error: Can't infer a type for 'field8' as the overridden members don't have a combined signature. |
| // Try adding an explicit type. |
| // var field8 = 0; // error |
| // ^^^^^^ |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:13:8: Context: This is one of the overridden members. |
| // int? field8; |
| // ^^^^^^ |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:36:11: Context: This is one of the overridden members. |
| // String? field8; |
| // ^^^^^^ |
| // |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:62:7: Error: Can't infer a type for 'field11' as the overridden members don't have a combined signature. |
| // Try adding an explicit type. |
| // var field11; // error |
| // ^^^^^^^ |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:16:5: Context: This is one of the overridden members. |
| // T field11; |
| // ^^^^^^^ |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:39:5: Context: This is one of the overridden members. |
| // S field11; |
| // ^^^^^^^ |
| // |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:66:7: Error: Can't infer a type for 'field15' as the overridden members don't have a combined signature. |
| // Try adding an explicit type. |
| // var field15; |
| // ^^^^^^^ |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:20:7: Context: This is one of the overridden members. |
| // var field15 = 0; |
| // ^^^^^^^ |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:43:8: Context: This is one of the overridden members. |
| // int? field15; |
| // ^^^^^^^ |
| // |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:67:7: Error: Can't infer a type for 'field16' as the overridden members don't have a combined signature. |
| // Try adding an explicit type. |
| // var field16; |
| // ^^^^^^^ |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:21:8: Context: This is one of the overridden members. |
| // int? field16; |
| // ^^^^^^^ |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:44:7: Context: This is one of the overridden members. |
| // var field16 = 0; |
| // ^^^^^^^ |
| // |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:68:7: Error: Can't infer a type for 'field17' as the overridden members don't have a combined signature. |
| // Try adding an explicit type. |
| // var field17; // error |
| // ^^^^^^^ |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:22:7: Context: This is one of the overridden members. |
| // var field17 = 0; |
| // ^^^^^^^ |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:45:11: Context: This is one of the overridden members. |
| // String? field17; |
| // ^^^^^^^ |
| // |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:69:7: Error: Can't infer a type for 'field18' as the overridden members don't have a combined signature. |
| // Try adding an explicit type. |
| // var field18; // error |
| // ^^^^^^^ |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:23:8: Context: This is one of the overridden members. |
| // int? field18; |
| // ^^^^^^^ |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:46:7: Context: This is one of the overridden members. |
| // var field18 = ''; |
| // ^^^^^^^ |
| // |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:94:7: Error: Can't infer a type for 'field2' as the overridden members don't have a combined signature. |
| // Try adding an explicit type. |
| // var field2; // error |
| // ^^^^^^ |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:7:7: Context: This is one of the overridden members. |
| // var field2 = 0; |
| // ^^^^^^ |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:30:7: Context: This is one of the overridden members. |
| // var field2 = ''; |
| // ^^^^^^ |
| // |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:96:7: Error: Can't infer a type for 'field4' as the overridden members don't have a combined signature. |
| // Try adding an explicit type. |
| // var field4 = 0; // error |
| // ^^^^^^ |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:9:7: Context: This is one of the overridden members. |
| // var field4 = 0; |
| // ^^^^^^ |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:32:7: Context: This is one of the overridden members. |
| // var field4 = ''; |
| // ^^^^^^ |
| // |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:98:7: Error: Can't infer a type for 'field6' as the overridden members don't have a combined signature. |
| // Try adding an explicit type. |
| // var field6; // error |
| // ^^^^^^ |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:11:8: Context: This is one of the overridden members. |
| // int? field6; |
| // ^^^^^^ |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:34:11: Context: This is one of the overridden members. |
| // String? field6; |
| // ^^^^^^ |
| // |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:100:7: Error: Can't infer a type for 'field8' as the overridden members don't have a combined signature. |
| // Try adding an explicit type. |
| // var field8 = 0; // error |
| // ^^^^^^ |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:13:8: Context: This is one of the overridden members. |
| // int? field8; |
| // ^^^^^^ |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:36:11: Context: This is one of the overridden members. |
| // String? field8; |
| // ^^^^^^ |
| // |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:107:7: Error: Can't infer a type for 'field15' as the overridden members don't have a combined signature. |
| // Try adding an explicit type. |
| // var field15; |
| // ^^^^^^^ |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:20:7: Context: This is one of the overridden members. |
| // var field15 = 0; |
| // ^^^^^^^ |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:43:8: Context: This is one of the overridden members. |
| // int? field15; |
| // ^^^^^^^ |
| // |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:108:7: Error: Can't infer a type for 'field16' as the overridden members don't have a combined signature. |
| // Try adding an explicit type. |
| // var field16; |
| // ^^^^^^^ |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:21:8: Context: This is one of the overridden members. |
| // int? field16; |
| // ^^^^^^^ |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:44:7: Context: This is one of the overridden members. |
| // var field16 = 0; |
| // ^^^^^^^ |
| // |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:109:7: Error: Can't infer a type for 'field17' as the overridden members don't have a combined signature. |
| // Try adding an explicit type. |
| // var field17; // error |
| // ^^^^^^^ |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:22:7: Context: This is one of the overridden members. |
| // var field17 = 0; |
| // ^^^^^^^ |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:45:11: Context: This is one of the overridden members. |
| // String? field17; |
| // ^^^^^^^ |
| // |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:110:7: Error: Can't infer a type for 'field18' as the overridden members don't have a combined signature. |
| // Try adding an explicit type. |
| // var field18; // error |
| // ^^^^^^^ |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:23:8: Context: This is one of the overridden members. |
| // int? field18; |
| // ^^^^^^^ |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:46:7: Context: This is one of the overridden members. |
| // var field18 = ''; |
| // ^^^^^^^ |
| // |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:63:8: Error: The return type of the method 'C.field12' is 'int?', which does not match the return type, 'int', of the overridden method, 'A.field12'. |
| // Change to a subtype of 'int'. |
| // int? field12; |
| // ^ |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:17:5: Context: This is the overridden method ('field12'). |
| // T field12; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:63:8: Error: The return type of the method 'C.field12' is 'int?', which does not match the return type, 'int', of the overridden method, 'B.field12'. |
| // Change to a subtype of 'int'. |
| // int? field12; |
| // ^ |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:40:5: Context: This is the overridden method ('field12'). |
| // T field12; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:65:8: Error: The return type of the method 'C.field14' is 'int?', which does not match the return type, 'int', of the overridden method, 'A.field14'. |
| // Change to a subtype of 'int'. |
| // int? field14; // error |
| // ^ |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:19:5: Context: This is the overridden method ('field14'). |
| // T field14; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:65:8: Error: The return type of the method 'C.field14' is 'int?', which does not match the return type, 'String', of the overridden method, 'B.field14'. |
| // Change to a subtype of 'String'. |
| // int? field14; // error |
| // ^ |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:42:5: Context: This is the overridden method ('field14'). |
| // S field14; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:65:8: Error: The field 'C.field14' has type 'int?', which does not match the corresponding type, 'String', in the overridden setter, 'B.field14'. |
| // int? field14; // error |
| // ^ |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:42:5: Context: This is the overridden method ('field14'). |
| // S field14; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/infer_field_from_multiple2.dart:105:17: Error: The value 'null' can't be assigned to a variable of type 'T' because 'T' is not nullable. |
| // var field13 = null; // error |
| // ^ |
| // |
| import self as self; |
| import "dart:core" as core; |
| |
| class A<T extends core::Object? = dynamic> extends core::Object { |
| field core::int field1 = 0; |
| field core::int field2 = 0; |
| field core::int field3 = 0; |
| field core::int field4 = 0; |
| field core::int? field5 = null; |
| field core::int? field6 = null; |
| field core::int? field7 = null; |
| field core::int? field8 = null; |
| field dynamic field9 = null; |
| covariant-by-class field self::A::T% field10; |
| covariant-by-class field self::A::T% field11; |
| covariant-by-class field self::A::T% field12; |
| covariant-by-class field self::A::T% field13; |
| covariant-by-class field self::A::T% field14; |
| field core::int field15 = 0; |
| field core::int? field16 = null; |
| field core::int field17 = 0; |
| field core::int? field18 = null; |
| constructor •(self::A::T% field10, self::A::T% field11, self::A::T% field12, self::A::T% field13, self::A::T% field14) → self::A<self::A::T%> |
| : self::A::field10 = field10, self::A::field11 = field11, self::A::field12 = field12, self::A::field13 = field13, self::A::field14 = field14, super core::Object::•() |
| ; |
| } |
| class B<T extends core::Object? = dynamic, S extends core::Object? = dynamic> extends core::Object { |
| field core::int field1 = 1; |
| field core::String field2 = ""; |
| field core::int field3 = 1; |
| field core::String field4 = ""; |
| field core::int? field5 = null; |
| field core::String? field6 = null; |
| field core::int? field7 = null; |
| field core::String? field8 = null; |
| field dynamic field9 = null; |
| covariant-by-class field self::B::T% field10; |
| covariant-by-class field self::B::S% field11; |
| covariant-by-class field self::B::T% field12; |
| covariant-by-class field self::B::T% field13; |
| covariant-by-class field self::B::S% field14; |
| field core::int? field15 = null; |
| field core::int field16 = 0; |
| field core::String? field17 = null; |
| field core::String field18 = ""; |
| constructor •(self::B::T% field10, self::B::S% field11, self::B::T% field12, self::B::T% field13, self::B::S% field14) → self::B<self::B::T%, self::B::S%> |
| : self::B::field10 = field10, self::B::field11 = field11, self::B::field12 = field12, self::B::field13 = field13, self::B::field14 = field14, super core::Object::•() |
| ; |
| } |
| class C extends core::Object implements self::A<core::int>, self::B<core::int, core::String> { |
| field core::int field1; |
| field invalid-type field2; |
| field core::int field3 = 0; |
| field invalid-type field4 = 0; |
| field core::int? field5; |
| field invalid-type field6; |
| field core::int? field7 = 0; |
| field invalid-type field8 = 0; |
| field dynamic field9; |
| covariant-by-class field core::int field10; |
| covariant-by-class field invalid-type field11; |
| covariant-by-class field core::int? field12; |
| covariant-by-class field core::int field13 = 0; |
| covariant-by-class field core::int? field14; |
| field invalid-type field15; |
| field invalid-type field16; |
| field invalid-type field17; |
| field invalid-type field18; |
| constructor •(core::int field1, invalid-type field2, core::int field3, invalid-type field4, core::int? field5, invalid-type field6, core::int? field7, invalid-type field8, dynamic field9, core::int field10, invalid-type field11, core::int? field12, core::int field13, core::int? field14, invalid-type field15, invalid-type field16, invalid-type field17, invalid-type field18) → self::C |
| : self::C::field1 = field1, self::C::field2 = field2, self::C::field3 = field3, self::C::field4 = field4, self::C::field5 = field5, self::C::field6 = field6, self::C::field7 = field7, self::C::field8 = field8, self::C::field9 = field9, self::C::field10 = field10, self::C::field11 = field11, self::C::field12 = field12, self::C::field13 = field13, self::C::field14 = field14, self::C::field15 = field15, self::C::field16 = field16, self::C::field17 = field17, self::C::field18 = field18, super core::Object::•() |
| ; |
| } |
| class D<T extends core::Object? = dynamic> extends core::Object implements self::A<self::D::T%>, self::B<self::D::T%, self::D::T%> { |
| field core::int field1; |
| field invalid-type field2; |
| field core::int field3 = 0; |
| field invalid-type field4 = 0; |
| field core::int? field5; |
| field invalid-type field6; |
| field core::int? field7 = 0; |
| field invalid-type field8 = 0; |
| field dynamic field9; |
| covariant-by-class field self::D::T% field10; |
| covariant-by-class field self::D::T% field11; |
| covariant-by-class field self::D::T% field12; |
| covariant-by-class field self::D::T% field13 = invalid-expression "pkg/front_end/testcases/general/infer_field_from_multiple2.dart:105:17: Error: The value 'null' can't be assigned to a variable of type 'T' because 'T' is not nullable. |
| var field13 = null; // error |
| ^" in null as{TypeError,ForNonNullableByDefault} Never; |
| covariant-by-class field self::D::T% field14; |
| field invalid-type field15; |
| field invalid-type field16; |
| field invalid-type field17; |
| field invalid-type field18; |
| constructor •(core::int field1, invalid-type field2, core::int field3, invalid-type field4, core::int? field5, invalid-type field6, core::int? field7, invalid-type field8, dynamic field9, self::D::T% field10, self::D::T% field11, self::D::T% field12, self::D::T% field13, self::D::T% field14, invalid-type field15, invalid-type field16, invalid-type field17, invalid-type field18) → self::D<self::D::T%> |
| : self::D::field1 = field1, self::D::field2 = field2, self::D::field3 = field3, self::D::field4 = field4, self::D::field5 = field5, self::D::field6 = field6, self::D::field7 = field7, self::D::field8 = field8, self::D::field9 = field9, self::D::field10 = field10, self::D::field11 = field11, self::D::field12 = field12, self::D::field13 = field13, self::D::field14 = field14, self::D::field15 = field15, self::D::field16 = field16, self::D::field17 = field17, self::D::field18 = field18, super core::Object::•() |
| ; |
| } |