| library /*isNonNullableByDefault*/; |
| // |
| // Problems in library: |
| // |
| // pkg/front_end/testcases/general/bounds_fields.dart:19:1: Error: Type argument 'Object' doesn't conform to the bound 'Class<X>' of the type variable 'X' on 'F'. |
| // - 'Object' is from 'dart:core'. |
| // - 'Class' is from 'pkg/front_end/testcases/general/bounds_fields.dart'. |
| // Try changing type arguments so that they conform to the bounds. |
| // F<Object>? field7a, field7b; // Error |
| // ^ |
| // pkg/front_end/testcases/general/bounds_fields.dart:9:11: Context: This is the type variable whose bound isn't conformed to. |
| // typedef F<X extends Class<X>> = X; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/bounds_fields.dart:20:1: Error: Type argument 'int' doesn't conform to the bound 'Class<X>' of the type variable 'X' on 'F'. |
| // - 'Class' is from 'pkg/front_end/testcases/general/bounds_fields.dart'. |
| // Try changing type arguments so that they conform to the bounds. |
| // F<int>? field8a, field8b; // Error |
| // ^ |
| // pkg/front_end/testcases/general/bounds_fields.dart:9:11: Context: This is the type variable whose bound isn't conformed to. |
| // typedef F<X extends Class<X>> = X; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/bounds_fields.dart:27:1: Error: Type argument 'Object' doesn't conform to the bound 'Class<X>' of the type variable 'X' on 'G'. |
| // - 'Object' is from 'dart:core'. |
| // - 'Class' is from 'pkg/front_end/testcases/general/bounds_fields.dart'. |
| // Try changing type arguments so that they conform to the bounds. |
| // G<Object>? field7c, field8d; // Error |
| // ^ |
| // pkg/front_end/testcases/general/bounds_fields.dart:11:9: Context: This is the type variable whose bound isn't conformed to. |
| // class G<X extends Class<X>> {} |
| // ^ |
| // |
| // pkg/front_end/testcases/general/bounds_fields.dart:28:1: Error: Type argument 'int' doesn't conform to the bound 'Class<X>' of the type variable 'X' on 'G'. |
| // - 'Class' is from 'pkg/front_end/testcases/general/bounds_fields.dart'. |
| // Try changing type arguments so that they conform to the bounds. |
| // G<int>? field8c, field7d; // Error |
| // ^ |
| // pkg/front_end/testcases/general/bounds_fields.dart:11:9: Context: This is the type variable whose bound isn't conformed to. |
| // class G<X extends Class<X>> {} |
| // ^ |
| // |
| // pkg/front_end/testcases/general/bounds_fields.dart:37:3: Error: Type argument 'Object' doesn't conform to the bound 'Class<X>' of the type variable 'X' on 'F'. |
| // - 'Object' is from 'dart:core'. |
| // - 'Class' is from 'pkg/front_end/testcases/general/bounds_fields.dart'. |
| // Try changing type arguments so that they conform to the bounds. |
| // F<Object>? field7a, field7b; // Error |
| // ^ |
| // pkg/front_end/testcases/general/bounds_fields.dart:9:11: Context: This is the type variable whose bound isn't conformed to. |
| // typedef F<X extends Class<X>> = X; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/bounds_fields.dart:38:3: Error: Type argument 'int' doesn't conform to the bound 'Class<X>' of the type variable 'X' on 'F'. |
| // - 'Class' is from 'pkg/front_end/testcases/general/bounds_fields.dart'. |
| // Try changing type arguments so that they conform to the bounds. |
| // F<int>? field8a, field8b; // Error |
| // ^ |
| // pkg/front_end/testcases/general/bounds_fields.dart:9:11: Context: This is the type variable whose bound isn't conformed to. |
| // typedef F<X extends Class<X>> = X; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/bounds_fields.dart:45:3: Error: Type argument 'Object' doesn't conform to the bound 'Class<X>' of the type variable 'X' on 'G'. |
| // - 'Object' is from 'dart:core'. |
| // - 'Class' is from 'pkg/front_end/testcases/general/bounds_fields.dart'. |
| // Try changing type arguments so that they conform to the bounds. |
| // G<Object>? field7c, field8d; // Error |
| // ^ |
| // pkg/front_end/testcases/general/bounds_fields.dart:11:9: Context: This is the type variable whose bound isn't conformed to. |
| // class G<X extends Class<X>> {} |
| // ^ |
| // |
| // pkg/front_end/testcases/general/bounds_fields.dart:46:3: Error: Type argument 'int' doesn't conform to the bound 'Class<X>' of the type variable 'X' on 'G'. |
| // - 'Class' is from 'pkg/front_end/testcases/general/bounds_fields.dart'. |
| // Try changing type arguments so that they conform to the bounds. |
| // G<int>? field8c, field7d; // Error |
| // ^ |
| // pkg/front_end/testcases/general/bounds_fields.dart:11:9: Context: This is the type variable whose bound isn't conformed to. |
| // class G<X extends Class<X>> {} |
| // ^ |
| // |
| // pkg/front_end/testcases/general/bounds_fields.dart:56:10: Error: Type argument 'Object' doesn't conform to the bound 'Class<X>' of the type variable 'X' on 'F'. |
| // - 'Object' is from 'dart:core'. |
| // - 'Class' is from 'pkg/front_end/testcases/general/bounds_fields.dart'. |
| // Try changing type arguments so that they conform to the bounds. |
| // static F<Object>? field7a, field7b; // Error |
| // ^ |
| // pkg/front_end/testcases/general/bounds_fields.dart:9:11: Context: This is the type variable whose bound isn't conformed to. |
| // typedef F<X extends Class<X>> = X; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/bounds_fields.dart:57:10: Error: Type argument 'int' doesn't conform to the bound 'Class<X>' of the type variable 'X' on 'F'. |
| // - 'Class' is from 'pkg/front_end/testcases/general/bounds_fields.dart'. |
| // Try changing type arguments so that they conform to the bounds. |
| // static F<int>? field8a, field8b; // Error |
| // ^ |
| // pkg/front_end/testcases/general/bounds_fields.dart:9:11: Context: This is the type variable whose bound isn't conformed to. |
| // typedef F<X extends Class<X>> = X; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/bounds_fields.dart:64:10: Error: Type argument 'Object' doesn't conform to the bound 'Class<X>' of the type variable 'X' on 'G'. |
| // - 'Object' is from 'dart:core'. |
| // - 'Class' is from 'pkg/front_end/testcases/general/bounds_fields.dart'. |
| // Try changing type arguments so that they conform to the bounds. |
| // static G<Object>? field7c, field8d; // Error |
| // ^ |
| // pkg/front_end/testcases/general/bounds_fields.dart:11:9: Context: This is the type variable whose bound isn't conformed to. |
| // class G<X extends Class<X>> {} |
| // ^ |
| // |
| // pkg/front_end/testcases/general/bounds_fields.dart:65:10: Error: Type argument 'int' doesn't conform to the bound 'Class<X>' of the type variable 'X' on 'G'. |
| // - 'Class' is from 'pkg/front_end/testcases/general/bounds_fields.dart'. |
| // Try changing type arguments so that they conform to the bounds. |
| // static G<int>? field8c, field7d; // Error |
| // ^ |
| // pkg/front_end/testcases/general/bounds_fields.dart:11:9: Context: This is the type variable whose bound isn't conformed to. |
| // class G<X extends Class<X>> {} |
| // ^ |
| // |
| import self as self; |
| import "dart:core" as core; |
| |
| typedef F<X extends self::Class<X> = self::Class<dynamic>> = X; |
| class Class<T extends core::Object? = dynamic> extends core::Object { |
| synthetic constructor •() → self::Class<self::Class::T%> |
| : super core::Object::•() |
| ; |
| } |
| class ConcreteClass extends core::Object implements self::Class<self::ConcreteClass> { |
| synthetic constructor •() → self::ConcreteClass |
| : super core::Object::•() |
| ; |
| } |
| class G<X extends self::Class<self::G::X> = self::Class<dynamic>> extends core::Object { |
| synthetic constructor •() → self::G<self::G::X> |
| : super core::Object::•() |
| ; |
| } |
| class Class1 extends core::Object { |
| field self::Class<dynamic>? field1a = null; |
| field self::Class<dynamic>? field1b = null; |
| field dynamic field2a = null; |
| field dynamic field2b = null; |
| field self::Class<dynamic>? field3a = null; |
| field self::Class<dynamic>? field3b = null; |
| field self::Class<dynamic>? field4a = null; |
| field self::Class<dynamic>? field4b = null; |
| field self::ConcreteClass? field5a = null; |
| field self::ConcreteClass? field5b = null; |
| field self::Class<self::ConcreteClass>? field6a = null; |
| field self::Class<self::ConcreteClass>? field6b = null; |
| field core::Object? field7a = null; |
| field core::Object? field7b = null; |
| field core::int? field8a = null; |
| field core::int? field8b = null; |
| field self::G<self::Class<dynamic>>? field1c = null; |
| field self::G<self::Class<dynamic>>? field1d = null; |
| field self::G<dynamic>? field2c = null; |
| field self::G<dynamic>? field2d = null; |
| field self::G<self::Class<dynamic>>? field3c = null; |
| field self::G<self::Class<dynamic>>? field3d = null; |
| field self::G<self::Class<dynamic>>? field4c = null; |
| field self::G<self::Class<dynamic>>? field4d = null; |
| field self::G<self::ConcreteClass>? field5c = null; |
| field self::G<self::ConcreteClass>? field5d = null; |
| field self::G<self::Class<self::ConcreteClass>>? field6c = null; |
| field self::G<self::Class<self::ConcreteClass>>? field6d = null; |
| field self::G<core::Object>? field7c = null; |
| field self::G<core::Object>? field8d = null; |
| field self::G<core::int>? field8c = null; |
| field self::G<core::int>? field7d = null; |
| synthetic constructor •() → self::Class1 |
| : super core::Object::•() |
| ; |
| } |
| extension Extension1 on core::int { |
| static field field1a = self::Extension1|field1a; |
| static field field1b = self::Extension1|field1b; |
| static field field2a = self::Extension1|field2a; |
| static field field2b = self::Extension1|field2b; |
| static field field3a = self::Extension1|field3a; |
| static field field3b = self::Extension1|field3b; |
| static field field4a = self::Extension1|field4a; |
| static field field4b = self::Extension1|field4b; |
| static field field5a = self::Extension1|field5a; |
| static field field5b = self::Extension1|field5b; |
| static field field6a = self::Extension1|field6a; |
| static field field6b = self::Extension1|field6b; |
| static field field7a = self::Extension1|field7a; |
| static field field7b = self::Extension1|field7b; |
| static field field8a = self::Extension1|field8a; |
| static field field8b = self::Extension1|field8b; |
| static field field1c = self::Extension1|field1c; |
| static field field1d = self::Extension1|field1d; |
| static field field2c = self::Extension1|field2c; |
| static field field2d = self::Extension1|field2d; |
| static field field3c = self::Extension1|field3c; |
| static field field3d = self::Extension1|field3d; |
| static field field4c = self::Extension1|field4c; |
| static field field4d = self::Extension1|field4d; |
| static field field5c = self::Extension1|field5c; |
| static field field5d = self::Extension1|field5d; |
| static field field6c = self::Extension1|field6c; |
| static field field6d = self::Extension1|field6d; |
| static field field7c = self::Extension1|field7c; |
| static field field8d = self::Extension1|field8d; |
| static field field8c = self::Extension1|field8c; |
| static field field7d = self::Extension1|field7d; |
| } |
| static field self::Class<dynamic>? field1a; |
| static field self::Class<dynamic>? field1b; |
| static field dynamic field2a; |
| static field dynamic field2b; |
| static field self::Class<dynamic>? field3a; |
| static field self::Class<dynamic>? field3b; |
| static field self::Class<dynamic>? field4a; |
| static field self::Class<dynamic>? field4b; |
| static field self::ConcreteClass? field5a; |
| static field self::ConcreteClass? field5b; |
| static field self::Class<self::ConcreteClass>? field6a; |
| static field self::Class<self::ConcreteClass>? field6b; |
| static field core::Object? field7a; |
| static field core::Object? field7b; |
| static field core::int? field8a; |
| static field core::int? field8b; |
| static field self::G<self::Class<dynamic>>? field1c; |
| static field self::G<self::Class<dynamic>>? field1d; |
| static field self::G<dynamic>? field2c; |
| static field self::G<dynamic>? field2d; |
| static field self::G<self::Class<dynamic>>? field3c; |
| static field self::G<self::Class<dynamic>>? field3d; |
| static field self::G<self::Class<dynamic>>? field4c; |
| static field self::G<self::Class<dynamic>>? field4d; |
| static field self::G<self::ConcreteClass>? field5c; |
| static field self::G<self::ConcreteClass>? field5d; |
| static field self::G<self::Class<self::ConcreteClass>>? field6c; |
| static field self::G<self::Class<self::ConcreteClass>>? field6d; |
| static field self::G<core::Object>? field7c; |
| static field self::G<core::Object>? field8d; |
| static field self::G<core::int>? field8c; |
| static field self::G<core::int>? field7d; |
| static field self::Class<dynamic>? Extension1|field1a; |
| static field self::Class<dynamic>? Extension1|field1b; |
| static field dynamic Extension1|field2a; |
| static field dynamic Extension1|field2b; |
| static field self::Class<dynamic>? Extension1|field3a; |
| static field self::Class<dynamic>? Extension1|field3b; |
| static field self::Class<dynamic>? Extension1|field4a; |
| static field self::Class<dynamic>? Extension1|field4b; |
| static field self::ConcreteClass? Extension1|field5a; |
| static field self::ConcreteClass? Extension1|field5b; |
| static field self::Class<self::ConcreteClass>? Extension1|field6a; |
| static field self::Class<self::ConcreteClass>? Extension1|field6b; |
| static field core::Object? Extension1|field7a; |
| static field core::Object? Extension1|field7b; |
| static field core::int? Extension1|field8a; |
| static field core::int? Extension1|field8b; |
| static field self::G<self::Class<dynamic>>? Extension1|field1c; |
| static field self::G<self::Class<dynamic>>? Extension1|field1d; |
| static field self::G<dynamic>? Extension1|field2c; |
| static field self::G<dynamic>? Extension1|field2d; |
| static field self::G<self::Class<dynamic>>? Extension1|field3c; |
| static field self::G<self::Class<dynamic>>? Extension1|field3d; |
| static field self::G<self::Class<dynamic>>? Extension1|field4c; |
| static field self::G<self::Class<dynamic>>? Extension1|field4d; |
| static field self::G<self::ConcreteClass>? Extension1|field5c; |
| static field self::G<self::ConcreteClass>? Extension1|field5d; |
| static field self::G<self::Class<self::ConcreteClass>>? Extension1|field6c; |
| static field self::G<self::Class<self::ConcreteClass>>? Extension1|field6d; |
| static field self::G<core::Object>? Extension1|field7c; |
| static field self::G<core::Object>? Extension1|field8d; |
| static field self::G<core::int>? Extension1|field8c; |
| static field self::G<core::int>? Extension1|field7d; |
| static method main() → dynamic {} |