Get rid of promotedType=none annotations

pkg/front_end/testcases/inference/block_bodied_lambdas_basic.dart

Index: pkg/front_end/testcases/inference/block_bodied_lambdas_basic.dart
diff --git a/pkg/front_end/testcases/inference/block_bodied_lambdas_basic.dart b/pkg/front_end/testcases/inference/block_bodied_lambdas_basic.dart
index 79b62daca47692aa8cd81c99a584a061c59ca291..a32ed91053c083bbb958da0c54f972e4ea948278 100644
--- a/pkg/front_end/testcases/inference/block_bodied_lambdas_basic.dart
+++ b/pkg/front_end/testcases/inference/block_bodied_lambdas_basic.dart
@@ -7,10 +7,10 @@ library test;
 
 test1() {
   List<int> o;
-  var /*@type=Iterable<int>*/ y = /*@promotedType=none*/ o
-      . /*@typeArgs=int*/ /*@target=List::map*/ map(
+  var /*@type=Iterable<int>*/ y =
+      o. /*@typeArgs=int*/ /*@target=List::map*/ map(
           /*@returnType=int*/ (/*@type=int*/ x) {
-    return /*@promotedType=none*/ x /*@target=num::+*/ + 1;
+    return x /*@target=num::+*/ + 1;
   });
-  Iterable<int> z = /*@promotedType=none*/ y;
+  Iterable<int> z = y;
 }