| library test /*isNonNullableByDefault*/; |
| // |
| // Problems in library: |
| // |
| // pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart:46:50: Error: A value of type 'A<int, dynamic>' can't be assigned to a variable of type 'A<int, String>'. |
| // - 'A' is from 'pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart'. |
| // a4 = /*error:INVALID_CAST_NEW_EXPR*/ new A<int, dynamic>(3, "hello"); |
| // ^ |
| // |
| // pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart:48:50: Error: A value of type 'A<dynamic, dynamic>' can't be assigned to a variable of type 'A<int, String>'. |
| // - 'A' is from 'pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart'. |
| // a5 = /*error:INVALID_CAST_NEW_EXPR*/ new A<dynamic, dynamic>.named( |
| // ^ |
| // |
| // pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart:53:48: Error: The argument type 'String' can't be assigned to the parameter type 'int'. |
| // /*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ "hello", |
| // ^ |
| // |
| // pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart:54:48: Error: The argument type 'int' can't be assigned to the parameter type 'String'. |
| // /*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ 3); |
| // ^ |
| // |
| // pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart:56:48: Error: The argument type 'String' can't be assigned to the parameter type 'int'. |
| // /*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ "hello", |
| // ^ |
| // |
| // pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart:57:48: Error: The argument type 'int' can't be assigned to the parameter type 'String'. |
| // /*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ 3); |
| // ^ |
| // |
| // pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart:65:47: Error: A value of type 'B<String, dynamic>' can't be assigned to a variable of type 'A<int, String>'. |
| // - 'B' is from 'pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart'. |
| // - 'A' is from 'pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart'. |
| // a4 = /*error:INVALID_ASSIGNMENT*/ new B<String, dynamic>("hello", 3); |
| // ^ |
| // |
| // pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart:67:47: Error: A value of type 'B<dynamic, dynamic>' can't be assigned to a variable of type 'A<int, String>'. |
| // - 'B' is from 'pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart'. |
| // - 'A' is from 'pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart'. |
| // a5 = /*error:INVALID_ASSIGNMENT*/ new B<dynamic, dynamic>.named( |
| // ^ |
| // |
| // pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart:72:48: Error: The argument type 'int' can't be assigned to the parameter type 'String'. |
| // /*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ 3, |
| // ^ |
| // |
| // pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart:73:48: Error: The argument type 'String' can't be assigned to the parameter type 'int'. |
| // /*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ "hello"); |
| // ^ |
| // |
| // pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart:75:48: Error: The argument type 'int' can't be assigned to the parameter type 'String'. |
| // /*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ 3, |
| // ^ |
| // |
| // pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart:76:48: Error: The argument type 'String' can't be assigned to the parameter type 'int'. |
| // /*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ "hello"); |
| // ^ |
| // |
| // pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart:83:55: Error: A value of type 'C<dynamic>' can't be assigned to a variable of type 'A<int, int>'. |
| // - 'C' is from 'pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart'. |
| // - 'A' is from 'pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart'. |
| // A<int, int> a4 = /*error:INVALID_ASSIGNMENT*/ new C<dynamic>(3); |
| // ^ |
| // |
| // pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart:84:55: Error: A value of type 'C<dynamic>' can't be assigned to a variable of type 'A<int, int>'. |
| // - 'C' is from 'pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart'. |
| // - 'A' is from 'pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart'. |
| // A<int, int> a5 = /*error:INVALID_ASSIGNMENT*/ new C<dynamic>.named(3); |
| // ^ |
| // |
| // pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart:88:72: Error: The argument type 'String' can't be assigned to the parameter type 'int'. |
| // new /*@typeArgs=int*/ C(/*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ "hello"); |
| // ^ |
| // |
| // pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart:90:48: Error: The argument type 'String' can't be assigned to the parameter type 'int'. |
| // /*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ "hello"); |
| // ^ |
| // |
| // pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart:98:47: Error: A value of type 'D<num, dynamic>' can't be assigned to a variable of type 'A<int, String>'. |
| // - 'D' is from 'pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart'. |
| // - 'A' is from 'pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart'. |
| // a4 = /*error:INVALID_ASSIGNMENT*/ new D<num, dynamic>("hello"); |
| // ^ |
| // |
| // pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart:100:47: Error: A value of type 'D<dynamic, dynamic>' can't be assigned to a variable of type 'A<int, String>'. |
| // - 'D' is from 'pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart'. |
| // - 'A' is from 'pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart'. |
| // a5 = /*error:INVALID_ASSIGNMENT*/ new D<dynamic, dynamic>.named( |
| // ^ |
| // |
| // pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart:105:48: Error: The argument type 'int' can't be assigned to the parameter type 'String'. |
| // /*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ 3); |
| // ^ |
| // |
| // pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart:107:48: Error: The argument type 'int' can't be assigned to the parameter type 'String'. |
| // /*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ 3); |
| // ^ |
| // |
| // pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart:118:54: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| // /*error:LIST_ELEMENT_TYPE_NOT_ASSIGNABLE*/ "hello" |
| // ^ |
| // |
| // pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart:121:54: Error: A value of type 'int' can't be assigned to a variable of type 'String'. |
| // /*error:LIST_ELEMENT_TYPE_NOT_ASSIGNABLE*/ 3 |
| // ^ |
| // |
| // pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart:129:48: Error: The argument type 'String' can't be assigned to the parameter type 'int?'. |
| // /*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ "hello", |
| // ^ |
| // |
| // pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart:130:48: Error: The argument type 'int' can't be assigned to the parameter type 'String?'. |
| // /*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ 3); |
| // ^ |
| // |
| // pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart:132:60: Error: The argument type 'String' can't be assigned to the parameter type 'int?'. |
| // 3, "hello", /*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ "hello"); |
| // ^ |
| // |
| import self as self; |
| import "dart:core" as core; |
| |
| class A<S extends core::Object? = dynamic, T extends core::Object? = dynamic> extends core::Object { |
| covariant-by-class field self::A::S% x; |
| covariant-by-class field self::A::T% y; |
| constructor •(self::A::S% x, self::A::T% y) → self::A<self::A::S%, self::A::T%> |
| : self::A::x = x, self::A::y = y, super core::Object::•() |
| ; |
| constructor named(self::A::S% x, self::A::T% y) → self::A<self::A::S%, self::A::T%> |
| : self::A::x = x, self::A::y = y, super core::Object::•() |
| ; |
| } |
| class B<S extends core::Object? = dynamic, T extends core::Object? = dynamic> extends self::A<self::B::T%, self::B::S%> { |
| constructor •(self::B::S% y, self::B::T% x) → self::B<self::B::S%, self::B::T%> |
| : super self::A::•(x, y) |
| ; |
| constructor named(self::B::S% y, self::B::T% x) → self::B<self::B::S%, self::B::T%> |
| : super self::A::named(x, y) |
| ; |
| } |
| class C<S extends core::Object? = dynamic> extends self::B<self::C::S%, self::C::S%> { |
| constructor •(self::C::S% a) → self::C<self::C::S%> |
| : super self::B::•(a, a) |
| ; |
| constructor named(self::C::S% a) → self::C<self::C::S%> |
| : super self::B::named(a, a) |
| ; |
| } |
| class D<S extends core::Object? = dynamic, T extends core::Object? = dynamic> extends self::B<self::D::T%, core::int> { |
| constructor •(self::D::T% a) → self::D<self::D::S%, self::D::T%> |
| : super self::B::•(a, 3) |
| ; |
| constructor named(self::D::T% a) → self::D<self::D::S%, self::D::T%> |
| : super self::B::named(a, 3) |
| ; |
| } |
| class E<S extends core::Object? = dynamic, T extends core::Object? = dynamic> extends self::A<self::C<self::E::S%>, self::E::T%> { |
| constructor •(self::E::T% a) → self::E<self::E::S%, self::E::T%> |
| : super self::A::•(throw "", a) |
| ; |
| } |
| class F<S extends core::Object? = dynamic, T extends core::Object? = dynamic> extends self::A<self::F::S%, self::F::T%> { |
| constructor •(self::F::S% x, self::F::T% y, {required core::List<self::F::S%> a = #C1, required core::List<self::F::T%> b = #C1}) → self::F<self::F::S%, self::F::T%> |
| : super self::A::•(x, y) |
| ; |
| constructor named(self::F::S% x, self::F::T% y, [self::F::S? a = #C1, self::F::T? b = #C1]) → self::F<self::F::S%, self::F::T%> |
| : super self::A::•(x, y) |
| ; |
| } |
| static method test() → void { |
| { |
| self::A<core::int, core::String> a0 = new self::A::•<core::int, core::String>(3, "hello"); |
| self::A<core::int, core::String> a1 = new self::A::named<core::int, core::String>(3, "hello"); |
| self::A<core::int, core::String> a2 = new self::A::•<core::int, core::String>(3, "hello"); |
| self::A<core::int, core::String> a3 = new self::A::named<core::int, core::String>(3, "hello"); |
| self::A<core::int, core::String> a4 = invalid-expression "pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart:46:50: Error: A value of type 'A<int, dynamic>' can't be assigned to a variable of type 'A<int, String>'. |
| - 'A' is from 'pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart'. |
| a4 = /*error:INVALID_CAST_NEW_EXPR*/ new A<int, dynamic>(3, \"hello\"); |
| ^" in new self::A::•<core::int, dynamic>(3, "hello") as{TypeError,ForNonNullableByDefault} self::A<core::int, core::String>; |
| self::A<core::int, core::String> a5 = invalid-expression "pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart:48:50: Error: A value of type 'A<dynamic, dynamic>' can't be assigned to a variable of type 'A<int, String>'. |
| - 'A' is from 'pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart'. |
| a5 = /*error:INVALID_CAST_NEW_EXPR*/ new A<dynamic, dynamic>.named( |
| ^" in new self::A::named<dynamic, dynamic>(3, "hello") as{TypeError,ForNonNullableByDefault} self::A<core::int, core::String>; |
| } |
| { |
| self::A<core::int, core::String> a0 = new self::A::•<core::int, core::String>(invalid-expression "pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart:53:48: Error: The argument type 'String' can't be assigned to the parameter type 'int'. |
| /*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ \"hello\", |
| ^" in "hello" as{TypeError,ForNonNullableByDefault} core::int, invalid-expression "pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart:54:48: Error: The argument type 'int' can't be assigned to the parameter type 'String'. |
| /*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ 3); |
| ^" in 3 as{TypeError,ForNonNullableByDefault} core::String); |
| self::A<core::int, core::String> a1 = new self::A::named<core::int, core::String>(invalid-expression "pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart:56:48: Error: The argument type 'String' can't be assigned to the parameter type 'int'. |
| /*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ \"hello\", |
| ^" in "hello" as{TypeError,ForNonNullableByDefault} core::int, invalid-expression "pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart:57:48: Error: The argument type 'int' can't be assigned to the parameter type 'String'. |
| /*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ 3); |
| ^" in 3 as{TypeError,ForNonNullableByDefault} core::String); |
| } |
| { |
| self::A<core::int, core::String> a0 = new self::B::•<core::String, core::int>("hello", 3); |
| self::A<core::int, core::String> a1 = new self::B::named<core::String, core::int>("hello", 3); |
| self::A<core::int, core::String> a2 = new self::B::•<core::String, core::int>("hello", 3); |
| self::A<core::int, core::String> a3 = new self::B::named<core::String, core::int>("hello", 3); |
| self::A<core::int, core::String> a4 = invalid-expression "pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart:65:47: Error: A value of type 'B<String, dynamic>' can't be assigned to a variable of type 'A<int, String>'. |
| - 'B' is from 'pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart'. |
| - 'A' is from 'pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart'. |
| a4 = /*error:INVALID_ASSIGNMENT*/ new B<String, dynamic>(\"hello\", 3); |
| ^" in new self::B::•<core::String, dynamic>("hello", 3) as{TypeError,ForNonNullableByDefault} self::A<core::int, core::String>; |
| self::A<core::int, core::String> a5 = invalid-expression "pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart:67:47: Error: A value of type 'B<dynamic, dynamic>' can't be assigned to a variable of type 'A<int, String>'. |
| - 'B' is from 'pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart'. |
| - 'A' is from 'pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart'. |
| a5 = /*error:INVALID_ASSIGNMENT*/ new B<dynamic, dynamic>.named( |
| ^" in new self::B::named<dynamic, dynamic>("hello", 3) as{TypeError,ForNonNullableByDefault} self::A<core::int, core::String>; |
| } |
| { |
| self::A<core::int, core::String> a0 = new self::B::•<core::String, core::int>(invalid-expression "pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart:72:48: Error: The argument type 'int' can't be assigned to the parameter type 'String'. |
| /*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ 3, |
| ^" in 3 as{TypeError,ForNonNullableByDefault} core::String, invalid-expression "pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart:73:48: Error: The argument type 'String' can't be assigned to the parameter type 'int'. |
| /*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ \"hello\"); |
| ^" in "hello" as{TypeError,ForNonNullableByDefault} core::int); |
| self::A<core::int, core::String> a1 = new self::B::named<core::String, core::int>(invalid-expression "pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart:75:48: Error: The argument type 'int' can't be assigned to the parameter type 'String'. |
| /*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ 3, |
| ^" in 3 as{TypeError,ForNonNullableByDefault} core::String, invalid-expression "pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart:76:48: Error: The argument type 'String' can't be assigned to the parameter type 'int'. |
| /*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ \"hello\"); |
| ^" in "hello" as{TypeError,ForNonNullableByDefault} core::int); |
| } |
| { |
| self::A<core::int, core::int> a0 = new self::C::•<core::int>(3); |
| self::A<core::int, core::int> a1 = new self::C::named<core::int>(3); |
| self::A<core::int, core::int> a2 = new self::C::•<core::int>(3); |
| self::A<core::int, core::int> a3 = new self::C::named<core::int>(3); |
| self::A<core::int, core::int> a4 = invalid-expression "pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart:83:55: Error: A value of type 'C<dynamic>' can't be assigned to a variable of type 'A<int, int>'. |
| - 'C' is from 'pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart'. |
| - 'A' is from 'pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart'. |
| A<int, int> a4 = /*error:INVALID_ASSIGNMENT*/ new C<dynamic>(3); |
| ^" in new self::C::•<dynamic>(3) as{TypeError,ForNonNullableByDefault} self::A<core::int, core::int>; |
| self::A<core::int, core::int> a5 = invalid-expression "pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart:84:55: Error: A value of type 'C<dynamic>' can't be assigned to a variable of type 'A<int, int>'. |
| - 'C' is from 'pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart'. |
| - 'A' is from 'pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart'. |
| A<int, int> a5 = /*error:INVALID_ASSIGNMENT*/ new C<dynamic>.named(3); |
| ^" in new self::C::named<dynamic>(3) as{TypeError,ForNonNullableByDefault} self::A<core::int, core::int>; |
| } |
| { |
| self::A<core::int, core::int> a0 = new self::C::•<core::int>(invalid-expression "pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart:88:72: Error: The argument type 'String' can't be assigned to the parameter type 'int'. |
| new /*@typeArgs=int*/ C(/*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ \"hello\"); |
| ^" in "hello" as{TypeError,ForNonNullableByDefault} core::int); |
| self::A<core::int, core::int> a1 = new self::C::named<core::int>(invalid-expression "pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart:90:48: Error: The argument type 'String' can't be assigned to the parameter type 'int'. |
| /*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ \"hello\"); |
| ^" in "hello" as{TypeError,ForNonNullableByDefault} core::int); |
| } |
| { |
| self::A<core::int, core::String> a0 = new self::D::•<dynamic, core::String>("hello"); |
| self::A<core::int, core::String> a1 = new self::D::named<dynamic, core::String>("hello"); |
| self::A<core::int, core::String> a2 = new self::D::•<core::int, core::String>("hello"); |
| self::A<core::int, core::String> a3 = new self::D::named<core::String, core::String>("hello"); |
| self::A<core::int, core::String> a4 = invalid-expression "pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart:98:47: Error: A value of type 'D<num, dynamic>' can't be assigned to a variable of type 'A<int, String>'. |
| - 'D' is from 'pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart'. |
| - 'A' is from 'pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart'. |
| a4 = /*error:INVALID_ASSIGNMENT*/ new D<num, dynamic>(\"hello\"); |
| ^" in new self::D::•<core::num, dynamic>("hello") as{TypeError,ForNonNullableByDefault} self::A<core::int, core::String>; |
| self::A<core::int, core::String> a5 = invalid-expression "pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart:100:47: Error: A value of type 'D<dynamic, dynamic>' can't be assigned to a variable of type 'A<int, String>'. |
| - 'D' is from 'pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart'. |
| - 'A' is from 'pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart'. |
| a5 = /*error:INVALID_ASSIGNMENT*/ new D<dynamic, dynamic>.named( |
| ^" in new self::D::named<dynamic, dynamic>("hello") as{TypeError,ForNonNullableByDefault} self::A<core::int, core::String>; |
| } |
| { |
| self::A<core::int, core::String> a0 = new self::D::•<dynamic, core::String>(invalid-expression "pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart:105:48: Error: The argument type 'int' can't be assigned to the parameter type 'String'. |
| /*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ 3); |
| ^" in 3 as{TypeError,ForNonNullableByDefault} core::String); |
| self::A<core::int, core::String> a1 = new self::D::named<dynamic, core::String>(invalid-expression "pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart:107:48: Error: The argument type 'int' can't be assigned to the parameter type 'String'. |
| /*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ 3); |
| ^" in 3 as{TypeError,ForNonNullableByDefault} core::String); |
| } |
| { |
| self::A<self::C<core::int>, core::String> a0 = new self::E::•<core::int, core::String>("hello"); |
| } |
| { |
| self::A<core::int, core::String> a0 = new self::F::•<core::int, core::String>(3, "hello", a: core::_GrowableList::_literal1<core::int>(3), b: core::_GrowableList::_literal1<core::String>("hello")); |
| self::A<core::int, core::String> a1 = new self::F::•<core::int, core::String>(3, "hello", a: core::_GrowableList::_literal1<core::int>(invalid-expression "pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart:118:54: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| /*error:LIST_ELEMENT_TYPE_NOT_ASSIGNABLE*/ \"hello\" |
| ^" in "hello" as{TypeError,ForNonNullableByDefault} core::int), b: core::_GrowableList::_literal1<core::String>(invalid-expression "pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart:121:54: Error: A value of type 'int' can't be assigned to a variable of type 'String'. |
| /*error:LIST_ELEMENT_TYPE_NOT_ASSIGNABLE*/ 3 |
| ^" in 3 as{TypeError,ForNonNullableByDefault} core::String)); |
| self::A<core::int, core::String> a2 = new self::F::named<core::int, core::String>(3, "hello", 3, "hello"); |
| self::A<core::int, core::String> a3 = new self::F::named<core::int, core::String>(3, "hello"); |
| self::A<core::int, core::String> a4 = new self::F::named<core::int, core::String>(3, "hello", invalid-expression "pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart:129:48: Error: The argument type 'String' can't be assigned to the parameter type 'int?'. |
| /*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ \"hello\", |
| ^" in "hello" as{TypeError,ForNonNullableByDefault} core::int?, invalid-expression "pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart:130:48: Error: The argument type 'int' can't be assigned to the parameter type 'String?'. |
| /*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ 3); |
| ^" in 3 as{TypeError,ForNonNullableByDefault} core::String?); |
| self::A<core::int, core::String> a5 = new self::F::named<core::int, core::String>(3, "hello", invalid-expression "pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart:132:60: Error: The argument type 'String' can't be assigned to the parameter type 'int?'. |
| 3, \"hello\", /*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ \"hello\"); |
| ^" in "hello" as{TypeError,ForNonNullableByDefault} core::int?); |
| } |
| } |
| static method main() → dynamic {} |
| |
| constants { |
| #C1 = null |
| } |
