Fix annotation of promoted parameters in Fasta inference tests.

pkg/front_end/testcases/inference/downwards_inference_on_function_expressions.dart

 // Copyright (c) 2017, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 /*@testedFeatures=inference*/
 library test;
 
 typedef T Function2<S, T>(S x);
 
 void main() {
@@ skipping 14 matching lines @@
         null;
     Function2<int, String> l1 = /*@returnType=String*/ (/*@type=int*/ x) =>
         "hello";
     Function2<int, String>
         l2 = /*info:INFERRED_TYPE_CLOSURE, error:INVALID_ASSIGNMENT*/ /*@returnType=int*/ (/*@type=int*/ x) =>
             3;
     Function2<int, String> l3 = /*@returnType=String*/ (/*@type=int*/ x) {
       return /*error:RETURN_OF_INVALID_TYPE*/ 3;
     };
     Function2<int, String> l4 = /*@returnType=String*/ (/*@type=int*/ x) {
-      return /*error:RETURN_OF_INVALID_TYPE*/ x;
+      return /*error:RETURN_OF_INVALID_TYPE*/ /*@promotedType=none*/ x;
     };
   }
   {
     Function2<int, List<String>> l0 = /*@returnType=List<String>*/ (int x) =>
         null;
     Function2<int, List<String>> l1 = /*@returnType=List<String>*/ (int
         x) => /*@typeArgs=String*/ ["hello"];
     Function2<int, List<String>>
         l2 = /*error:INVALID_ASSIGNMENT*/ /*@returnType=List<String>*/ (String
             x) => /*@typeArgs=String*/ ["hello"];
     Function2<int, List<String>>
         l3 = /*@returnType=List<String>*/ (int x) => /*@typeArgs=String*/ [
               /*error:LIST_ELEMENT_TYPE_NOT_ASSIGNABLE*/ 3
             ];
     Function2<int, List<String>> l4 = /*@returnType=List<String>*/ (int x) {
       return /*@typeArgs=String*/ [
         /*error:LIST_ELEMENT_TYPE_NOT_ASSIGNABLE*/ 3
       ];
     };
   }
   {
-    Function2<int, int> l0 = /*@returnType=int*/ (/*@type=int*/ x) => x;
-    Function2<int, int> l1 = /*@returnType=int*/ (/*@type=int*/ x) => x + 1;
+    Function2<int, int>
+        l0 = /*@returnType=int*/ (/*@type=int*/ x) => /*@promotedType=none*/ x;
+    Function2<int, int>
+        l1 = /*@returnType=int*/ (/*@type=int*/ x) => /*@promotedType=none*/ x +
+            1;
     Function2<int, String>
         l2 = /*error:INVALID_ASSIGNMENT*/ /*@returnType=int*/ (/*@type=int*/ x) =>
-            x;
+            /*@promotedType=none*/ x;
     Function2<int, String>
-        l3 = /*@returnType=String*/ (/*@type=int*/ x) => /*info:DYNAMIC_CAST, info:DYNAMIC_INVOKE*/ x
+        l3 = /*@returnType=String*/ (/*@type=int*/ x) => /*info:DYNAMIC_CAST, info:DYNAMIC_INVOKE*/ /*@promotedType=none*/ x
             .substring(3);
     Function2<String, String>
-        l4 = /*@returnType=String*/ (/*@type=String*/ x) => x.substring(3);
+        l4 = /*@returnType=String*/ (/*@type=String*/ x) => /*@promotedType=none*/ x
+            .substring(3);
   }
 }