Fix annotation of promoted parameters in Fasta inference tests.

pkg/front_end/testcases/inference/future_union_async_conditional.dart

Index: pkg/front_end/testcases/inference/future_union_async_conditional.dart
diff --git a/pkg/front_end/testcases/inference/future_union_async_conditional.dart b/pkg/front_end/testcases/inference/future_union_async_conditional.dart
index 17ccd5f5d5a49bc1ff0d81c6be8d5420213e2d9a..9f54a43390e9d47567f846aaadab5ae98105eafe 100644
--- a/pkg/front_end/testcases/inference/future_union_async_conditional.dart
+++ b/pkg/front_end/testcases/inference/future_union_async_conditional.dart
@@ -15,16 +15,18 @@ 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*/ Future.value(42);
 }
 
 Future<int> g2(bool x) async =>
-    /*info:DOWN_CAST_COMPOSITE*/ x
+    /*info:DOWN_CAST_COMPOSITE*/ /*@promotedType=none*/ x
         ? 42
         : new /*@typeArgs=int*/ Future.value(42);
 Future<int> g3(bool x) async {
-  var /*@type=Object*/ y = x ? 42 : new /*@typeArgs=dynamic*/ Future.value(42);
+  var /*@type=Object*/ y = /*@promotedType=none*/ x
+      ? 42
+      : new /*@typeArgs=dynamic*/ Future.value(42);
   return /*info:DOWN_CAST_COMPOSITE*/ /*@promotedType=none*/ y;
 }