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

Unified Diff: pkg/front_end/testcases/inference/generic_methods_downwards_inference_fold.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/generic_methods_downwards_inference_fold.dart
diff --git a/pkg/front_end/testcases/inference/generic_methods_downwards_inference_fold.dart b/pkg/front_end/testcases/inference/generic_methods_downwards_inference_fold.dart
index 0ba8c6e69fc9abf1790c479512fa56b5e52a669b..9dd1dc47f4194b968ffd54bdf8067551a6534eb1 100644
--- a/pkg/front_end/testcases/inference/generic_methods_downwards_inference_fold.dart
+++ b/pkg/front_end/testcases/inference/generic_methods_downwards_inference_fold.dart
@@ -7,27 +7,29 @@ library test;
void main() {
List<int> o;
- int y = /*@promotedType=none*/ o. /*@typeArgs=int*/ /*@target=List::fold*/ fold(
+ int y = o. /*@typeArgs=int*/ /*@target=List::fold*/ fold(
0,
/*@returnType=int*/ (/*@type=int*/ x,
- /*@type=int*/ y) => /*@promotedType=none*/ x /*@target=num::+*/ + /*@promotedType=none*/ y);
- var /*@type=dynamic*/ z = /*@promotedType=none*/ o
- . /*@typeArgs=dynamic*/ /*@target=List::fold*/ fold(
+ /*@type=int*/ y) =>
+ x /*@target=num::+*/ + y);
+ var /*@type=dynamic*/ z =
+ o. /*@typeArgs=dynamic*/ /*@target=List::fold*/ fold(
0,
/*@returnType=dynamic*/ (/*@type=dynamic*/ x,
- /*@type=int*/ y) => /*info:DYNAMIC_INVOKE*/ /*@promotedType=none*/ x + /*@promotedType=none*/ y);
- y = /*info:DYNAMIC_CAST*/ /*@promotedType=none*/ z;
+ /*@type=int*/ y) => /*info:DYNAMIC_INVOKE*/ x + y);
+ y = /*info:DYNAMIC_CAST*/ z;
}
void functionExpressionInvocation() {
List<int> o;
- int y = (/*@promotedType=none*/ o.fold)(
+ int y = (o.fold)(
0,
/*@returnType=int*/ (/*@type=int*/ x,
- /*@type=int*/ y) => /*@promotedType=none*/ x /*@target=num::+*/ + /*@promotedType=none*/ y);
- var /*@type=dynamic*/ z = (/*@promotedType=none*/ o.fold)(
+ /*@type=int*/ y) =>
+ x /*@target=num::+*/ + y);
+ var /*@type=dynamic*/ z = (o.fold)(
0,
/*@returnType=dynamic*/ (/*@type=dynamic*/ x,
- /*@type=int*/ y) => /*info:DYNAMIC_INVOKE*/ /*@promotedType=none*/ x + /*@promotedType=none*/ y);
- y = /*info:DYNAMIC_CAST*/ /*@promotedType=none*/ z;
+ /*@type=int*/ y) => /*info:DYNAMIC_INVOKE*/ x + y);
+ y = /*info:DYNAMIC_CAST*/ z;
}

Powered by Google App Engine
This is Rietveld 408576698