Fix annotation of promoted parameters in Fasta inference tests.

pkg/front_end/testcases/inference/generic_methods_downwards_inference_fold.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;
 
 void main() {
   List<int> o;
-  int y = /*@promotedType=none*/ o
-      .fold(0, /*@returnType=int*/ (/*@type=int*/ x, /*@type=int*/ y) => x + y);
+  int y = /*@promotedType=none*/ o.fold(
+      0,
+      /*@returnType=int*/ (/*@type=int*/ x,
+          /*@type=int*/ y) => /*@promotedType=none*/ x + /*@promotedType=none*/ y);
   var /*@type=dynamic*/ z = /*@promotedType=none*/ o.fold(
       0,
       /*@returnType=dynamic*/ (/*@type=dynamic*/ x,
-          /*@type=int*/ y) => /*info:DYNAMIC_INVOKE*/ x + y);
+          /*@type=int*/ y) => /*info:DYNAMIC_INVOKE*/ /*@promotedType=none*/ x + /*@promotedType=none*/ y);
   y = /*info:DYNAMIC_CAST*/ /*@promotedType=none*/ z;
 }
 
 void functionExpressionInvocation() {
   List<int> o;
   int y = (/*@promotedType=none*/ o.fold)(
-      0, /*@returnType=int*/ (/*@type=int*/ x, /*@type=int*/ y) => x + y);
+      0,
+      /*@returnType=int*/ (/*@type=int*/ x,
+          /*@type=int*/ y) => /*@promotedType=none*/ x + /*@promotedType=none*/ y);
   var /*@type=dynamic*/ z = (/*@promotedType=none*/ o.fold)(
       0,
       /*@returnType=dynamic*/ (/*@type=dynamic*/ x,
-          /*@type=int*/ y) => /*info:DYNAMIC_INVOKE*/ x + y);
+          /*@type=int*/ y) => /*info:DYNAMIC_INVOKE*/ /*@promotedType=none*/ x + /*@promotedType=none*/ y);
   y = /*info:DYNAMIC_CAST*/ /*@promotedType=none*/ z;
 }