Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(75)

Unified Diff: pkg/front_end/testcases/inference/downwards_inference_on_function_expressions.dart

Issue 2865403007: Get rid of promotedType=none annotations (Closed)
Patch Set: Created 3 years, 7 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
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 976ecf82b646ad49c0edead0c7bea9ba5db60dc1..0323c482341f04aa2a1cc0a3cdeaf9f90233d112 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*/ /*@promotedType=none*/ x;
+ return /*error:RETURN_OF_INVALID_TYPE*/ x;
};
}
{
@@ -54,19 +54,17 @@ void main() {
};
}
{
- Function2<int, int>
- l0 = /*@returnType=int*/ (/*@type=int*/ x) => /*@promotedType=none*/ x;
- Function2<int, int>
- l1 = /*@returnType=int*/ (/*@type=int*/ x) => /*@promotedType=none*/ x /*@target=num::+*/ +
- 1;
+ Function2<int, int> l0 = /*@returnType=int*/ (/*@type=int*/ x) => x;
+ Function2<int, int> l1 = /*@returnType=int*/ (/*@type=int*/ x) =>
+ x /*@target=num::+*/ + 1;
Function2<int, String>
l2 = /*error:INVALID_ASSIGNMENT*/ /*@returnType=int*/ (/*@type=int*/ x) =>
- /*@promotedType=none*/ x;
+ x;
Function2<int, String>
- l3 = /*@returnType=String*/ (/*@type=int*/ x) => /*info:DYNAMIC_CAST, info:DYNAMIC_INVOKE*/ /*@promotedType=none*/ x
+ l3 = /*@returnType=String*/ (/*@type=int*/ x) => /*info:DYNAMIC_CAST, info:DYNAMIC_INVOKE*/ x
.substring(3);
Function2<String, String>
- l4 = /*@returnType=String*/ (/*@type=String*/ x) => /*@promotedType=none*/ x
- . /*@target=String::substring*/ substring(3);
+ l4 = /*@returnType=String*/ (/*@type=String*/ x) =>
+ x. /*@target=String::substring*/ substring(3);
}
}

Powered by Google App Engine
This is Rietveld 408576698