| Index: pkg/front_end/testcases/inference/downwards_inference_on_function_expressions.dart
|
| diff --git a/pkg/front_end/testcases/inference/downwards_inference_on_function_expressions.dart b/pkg/front_end/testcases/inference/downwards_inference_on_function_expressions.dart
|
| index 04a20f2afd3aaabf164212510254394d8100251d..f63dcdb8e54b473a225b946eb85cc6ac341cf121 100644
|
| --- a/pkg/front_end/testcases/inference/downwards_inference_on_function_expressions.dart
|
| +++ b/pkg/front_end/testcases/inference/downwards_inference_on_function_expressions.dart
|
| @@ -32,7 +32,7 @@ void main() {
|
| return /*error:RETURN_OF_INVALID_TYPE*/ 3;
|
| };
|
| Function2<int, String> l4 = /*@returnType=String*/ (/*@type=int*/ x) {
|
| - return /*error:RETURN_OF_INVALID_TYPE*/ x;
|
| + return /*error:RETURN_OF_INVALID_TYPE*/ /*@promotedType=none*/ x;
|
| };
|
| }
|
| {
|
| @@ -54,15 +54,19 @@ void main() {
|
| };
|
| }
|
| {
|
| - Function2<int, int> l0 = /*@returnType=int*/ (/*@type=int*/ x) => x;
|
| - Function2<int, int> l1 = /*@returnType=int*/ (/*@type=int*/ x) => x + 1;
|
| + Function2<int, int>
|
| + l0 = /*@returnType=int*/ (/*@type=int*/ x) => /*@promotedType=none*/ x;
|
| + Function2<int, int>
|
| + l1 = /*@returnType=int*/ (/*@type=int*/ x) => /*@promotedType=none*/ x +
|
| + 1;
|
| Function2<int, String>
|
| l2 = /*error:INVALID_ASSIGNMENT*/ /*@returnType=int*/ (/*@type=int*/ x) =>
|
| - x;
|
| + /*@promotedType=none*/ x;
|
| Function2<int, String>
|
| - l3 = /*@returnType=String*/ (/*@type=int*/ x) => /*info:DYNAMIC_CAST, info:DYNAMIC_INVOKE*/ x
|
| + l3 = /*@returnType=String*/ (/*@type=int*/ x) => /*info:DYNAMIC_CAST, info:DYNAMIC_INVOKE*/ /*@promotedType=none*/ x
|
| .substring(3);
|
| Function2<String, String>
|
| - l4 = /*@returnType=String*/ (/*@type=String*/ x) => x.substring(3);
|
| + l4 = /*@returnType=String*/ (/*@type=String*/ x) => /*@promotedType=none*/ x
|
| + .substring(3);
|
| }
|
| }
|
|
|