Fix annotation of promoted parameters in Fasta inference tests.

pkg/front_end/testcases/inference/downwards_inference_on_list_literals_infer_if_value_types_match_context.dart

Index: pkg/front_end/testcases/inference/downwards_inference_on_list_literals_infer_if_value_types_match_context.dart
diff --git a/pkg/front_end/testcases/inference/downwards_inference_on_list_literals_infer_if_value_types_match_context.dart b/pkg/front_end/testcases/inference/downwards_inference_on_list_literals_infer_if_value_types_match_context.dart
index 47bd29887151afe2601b7bf078fe739661428b8b..2582fbf0cbe256fe7ba8da213c50853112e896fb 100644
--- a/pkg/front_end/testcases/inference/downwards_inference_on_list_literals_infer_if_value_types_match_context.dart
+++ b/pkg/front_end/testcases/inference/downwards_inference_on_list_literals_infer_if_value_types_match_context.dart
@@ -30,7 +30,7 @@ abstract class C {
         /*@typeArgs=Asserter<DartType>(DartType) -> void*/ [_isInt, _isString]);
     assertDOf(
         /*@typeArgs=Asserter<DartType>(DartType) -> void*/ [_isInt, _isString]);
-    assertEOf(
+    /*@promotedType=none*/ assertEOf(
         /*@typeArgs=Asserter<DartType>(DartType) -> void*/ [_isInt, _isString]);
   }
 }
@@ -46,7 +46,7 @@ abstract class G<T> {
         /*@typeArgs=Asserter<DartType>(DartType) -> void*/ [_isInt, _isString]);
     this.assertDOf(
         /*@typeArgs=Asserter<DartType>(DartType) -> void*/ [_isInt, _isString]);
-    assertEOf(
+    /*@promotedType=none*/ assertEOf(
         /*@typeArgs=Asserter<DartType>(DartType) -> void*/ [_isInt, _isString]);
   }
 }