Get rid of promotedType=none annotations

pkg/front_end/testcases/inference/downwards_inference_on_function_of_t_using_the_t.dart

Index: pkg/front_end/testcases/inference/downwards_inference_on_function_of_t_using_the_t.dart
diff --git a/pkg/front_end/testcases/inference/downwards_inference_on_function_of_t_using_the_t.dart b/pkg/front_end/testcases/inference/downwards_inference_on_function_of_t_using_the_t.dart
index acba6de9ceb065736e5bf13cba01dc3483d3b509..7139558d348c0e87d23ec12b588a0162e5192d26 100644
--- a/pkg/front_end/testcases/inference/downwards_inference_on_function_of_t_using_the_t.dart
+++ b/pkg/front_end/testcases/inference/downwards_inference_on_function_of_t_using_the_t.dart
@@ -9,20 +9,16 @@ void main() {
   {
     T f<T>(T x) => null;
     var /*@type=(T) -> T*/ v1 = f;
-    v1 = /*@returnType=S*/ <S>(/*@type=S*/ x) => /*@promotedType=none*/ x;
+    v1 = /*@returnType=S*/ <S>(/*@type=S*/ x) => x;
   }
   {
     List<T> f<T>(T x) => null;
     var /*@type=(T) -> List<T>*/ v2 = f;
-    v2 = /*@returnType=List<S>*/ <S>(/*@type=S*/ x) => /*@typeArgs=S*/ [
-          /*@promotedType=none*/ x
-        ];
-    Iterable<int> r = /*@promotedType=none*/ /*@typeArgs=int*/ v2(42);
-    Iterable<String>
-        s = /*@promotedType=none*/ /*@typeArgs=String*/ v2('hello');
-    Iterable<List<int>>
-        t = /*@promotedType=none*/ /*@typeArgs=List<int>*/ v2(<int>[]);
-    Iterable<num> u = /*@promotedType=none*/ /*@typeArgs=num*/ v2(42);
-    Iterable<num> v = /*@promotedType=none*/ v2<num>(42);
+    v2 = /*@returnType=List<S>*/ <S>(/*@type=S*/ x) => /*@typeArgs=S*/ [x];
+    Iterable<int> r = /*@typeArgs=int*/ v2(42);
+    Iterable<String> s = /*@typeArgs=String*/ v2('hello');
+    Iterable<List<int>> t = /*@typeArgs=List<int>*/ v2(<int>[]);
+    Iterable<num> u = /*@typeArgs=num*/ v2(42);
+    Iterable<num> v = v2<num>(42);
   }
 }