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

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

Issue 2868133002: Fix annotation of promoted parameters in Fasta inference tests. (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/future_union_async_conditional_2.dart
diff --git a/pkg/front_end/testcases/inference/future_union_async_conditional_2.dart b/pkg/front_end/testcases/inference/future_union_async_conditional_2.dart
index 2cc944462bb3a31717960c97cf9a29c8cdd55826..7df15c7438b53b8ac80d3b33c987d503b0bfe713 100644
--- a/pkg/front_end/testcases/inference/future_union_async_conditional_2.dart
+++ b/pkg/front_end/testcases/inference/future_union_async_conditional_2.dart
@@ -15,17 +15,19 @@ class MyFuture<T> implements Future<T> {
}
Future<int> g1(bool x) async {
- return /*info:DOWN_CAST_COMPOSITE*/ x
+ return /*info:DOWN_CAST_COMPOSITE*/ /*@promotedType=none*/ x
? 42
: new /*@typeArgs=int*/ MyFuture.value(42);
}
Future<int> g2(bool x) async =>
- /*info:DOWN_CAST_COMPOSITE*/ x
+ /*info:DOWN_CAST_COMPOSITE*/ /*@promotedType=none*/ x
? 42
: new /*@typeArgs=int*/ MyFuture.value(42);
Future<int> g3(bool x) async {
var /*@type=Object*/ y =
- x ? 42 : new /*@typeArgs=dynamic*/ MyFuture.value(42);
+ /*@promotedType=none*/ x
+ ? 42
+ : new /*@typeArgs=dynamic*/ MyFuture.value(42);
return /*info:DOWN_CAST_COMPOSITE*/ /*@promotedType=none*/ y;
}

Powered by Google App Engine
This is Rietveld 408576698