| Index: pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart
|
| diff --git a/pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart b/pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart
|
| index 51e3ca3bdddd35f5a39ef5c09df570b54120d292..ad38670fa3deebdbee08f3efca233478415a50cb 100644
|
| --- a/pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart
|
| +++ b/pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart
|
| @@ -38,8 +38,8 @@ class F<S, T> extends A<S, T> {
|
|
|
| void main() {
|
| {
|
| - A<int, String> a0 = /*@typeArgs=int, String*/ new A(3, "hello");
|
| - A<int, String> a1 = /*@typeArgs=int, String*/ new A.named(3, "hello");
|
| + A<int, String> a0 = new /*@typeArgs=int, String*/ A(3, "hello");
|
| + A<int, String> a1 = new /*@typeArgs=int, String*/ A.named(3, "hello");
|
| A<int, String> a2 = new A<int, String>(3, "hello");
|
| A<int, String> a3 = new A<int, String>.named(3, "hello");
|
| A<int, String>
|
| @@ -49,16 +49,16 @@ void main() {
|
| 3, "hello");
|
| }
|
| {
|
| - A<int, String> a0 = /*@typeArgs=int, String*/ new A(
|
| + A<int, String> a0 = new /*@typeArgs=int, String*/ A(
|
| /*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ "hello",
|
| /*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ 3);
|
| - A<int, String> a1 = /*@typeArgs=int, String*/ new A.named(
|
| + A<int, String> a1 = new /*@typeArgs=int, String*/ A.named(
|
| /*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ "hello",
|
| /*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ 3);
|
| }
|
| {
|
| - A<int, String> a0 = /*@typeArgs=String, int*/ new B("hello", 3);
|
| - A<int, String> a1 = /*@typeArgs=String, int*/ new B.named("hello", 3);
|
| + A<int, String> a0 = new /*@typeArgs=String, int*/ B("hello", 3);
|
| + A<int, String> a1 = new /*@typeArgs=String, int*/ B.named("hello", 3);
|
| A<int, String> a2 = new B<String, int>("hello", 3);
|
| A<int, String> a3 = new B<String, int>.named("hello", 3);
|
| A<int, String>
|
| @@ -68,30 +68,30 @@ void main() {
|
| "hello", 3);
|
| }
|
| {
|
| - A<int, String> a0 = /*@typeArgs=String, int*/ new B(
|
| + A<int, String> a0 = new /*@typeArgs=String, int*/ B(
|
| /*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ 3,
|
| /*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ "hello");
|
| - A<int, String> a1 = /*@typeArgs=String, int*/ new B.named(
|
| + A<int, String> a1 = new /*@typeArgs=String, int*/ B.named(
|
| /*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ 3,
|
| /*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ "hello");
|
| }
|
| {
|
| - A<int, int> a0 = /*@typeArgs=int*/ new C(3);
|
| - A<int, int> a1 = /*@typeArgs=int*/ new C.named(3);
|
| + A<int, int> a0 = new /*@typeArgs=int*/ C(3);
|
| + A<int, int> a1 = new /*@typeArgs=int*/ C.named(3);
|
| A<int, int> a2 = new C<int>(3);
|
| A<int, int> a3 = new C<int>.named(3);
|
| A<int, int> a4 = /*error:INVALID_ASSIGNMENT*/ new C<dynamic>(3);
|
| A<int, int> a5 = /*error:INVALID_ASSIGNMENT*/ new C<dynamic>.named(3);
|
| }
|
| {
|
| - A<int, int> a0 = /*@typeArgs=int*/ new C(
|
| + A<int, int> a0 = new /*@typeArgs=int*/ C(
|
| /*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ "hello");
|
| - A<int, int> a1 = /*@typeArgs=int*/ new C.named(
|
| + A<int, int> a1 = new /*@typeArgs=int*/ C.named(
|
| /*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ "hello");
|
| }
|
| {
|
| - A<int, String> a0 = /*@typeArgs=dynamic, String*/ new D("hello");
|
| - A<int, String> a1 = /*@typeArgs=dynamic, String*/ new D.named("hello");
|
| + A<int, String> a0 = new /*@typeArgs=dynamic, String*/ D("hello");
|
| + A<int, String> a1 = new /*@typeArgs=dynamic, String*/ D.named("hello");
|
| A<int, String> a2 = new D<int, String>("hello");
|
| A<int, String> a3 = new D<String, String>.named("hello");
|
| A<int, String>
|
| @@ -101,34 +101,34 @@ void main() {
|
| "hello");
|
| }
|
| {
|
| - A<int, String> a0 = /*@typeArgs=dynamic, String*/ new D(
|
| + A<int, String> a0 = new /*@typeArgs=dynamic, String*/ D(
|
| /*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ 3);
|
| - A<int, String> a1 = /*@typeArgs=dynamic, String*/ new D.named(
|
| + A<int, String> a1 = new /*@typeArgs=dynamic, String*/ D.named(
|
| /*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ 3);
|
| }
|
| {
|
| - A<C<int>, String> a0 = /*@typeArgs=int, String*/ new E("hello");
|
| + A<C<int>, String> a0 = new /*@typeArgs=int, String*/ E("hello");
|
| }
|
| {
|
| // Check named and optional arguments
|
| - A<int, String> a0 = /*@typeArgs=int, String*/ new F(3, "hello",
|
| + A<int, String> a0 = new /*@typeArgs=int, String*/ F(3, "hello",
|
| a: /*@typeArgs=int*/ [3], b: /*@typeArgs=String*/ ["hello"]);
|
| - A<int, String> a1 = /*@typeArgs=int, String*/ new F(3, "hello",
|
| + A<int, String> a1 = new /*@typeArgs=int, String*/ F(3, "hello",
|
| a: /*@typeArgs=int*/ [
|
| /*error:LIST_ELEMENT_TYPE_NOT_ASSIGNABLE*/ "hello"
|
| ],
|
| b: /*@typeArgs=String*/ [
|
| /*error:LIST_ELEMENT_TYPE_NOT_ASSIGNABLE*/ 3
|
| ]);
|
| - A<int, String>
|
| - a2 = /*@typeArgs=int, String*/ new F.named(3, "hello", 3, "hello");
|
| - A<int, String> a3 = /*@typeArgs=int, String*/ new F.named(3, "hello");
|
| - A<int, String> a4 = /*@typeArgs=int, String*/ new F.named(
|
| + A<int, String> a2 =
|
| + new /*@typeArgs=int, String*/ F.named(3, "hello", 3, "hello");
|
| + A<int, String> a3 = new /*@typeArgs=int, String*/ F.named(3, "hello");
|
| + A<int, String> a4 = new /*@typeArgs=int, String*/ F.named(
|
| 3,
|
| "hello",
|
| /*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ "hello",
|
| /*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ 3);
|
| - A<int, String> a5 = /*@typeArgs=int, String*/ new F.named(
|
| + A<int, String> a5 = new /*@typeArgs=int, String*/ F.named(
|
| 3,
|
| "hello",
|
| /*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ "hello");
|
|
|