Get rid of promotedType=none annotations

pkg/front_end/testcases/inference/future_then_upwards_from_block.dart

Index: pkg/front_end/testcases/inference/future_then_upwards_from_block.dart
diff --git a/pkg/front_end/testcases/inference/future_then_upwards_from_block.dart b/pkg/front_end/testcases/inference/future_then_upwards_from_block.dart
index 904585d67904b30e9820cc85a3c4b1dc94693bea..c28d98294ef93c3ef34c9c643747781fcdf8de63 100644
--- a/pkg/front_end/testcases/inference/future_then_upwards_from_block.dart
+++ b/pkg/front_end/testcases/inference/future_then_upwards_from_block.dart
@@ -9,15 +9,15 @@ import 'dart:async';
 
 main() {
   Future<int> base;
-  var /*@type=Future<bool>*/ f = /*@promotedType=none*/ base
-      . /*@typeArgs=bool*/ /*@target=Future::then*/ then(
+  var /*@type=Future<bool>*/ f =
+      base. /*@typeArgs=bool*/ /*@target=Future::then*/ then(
           /*@returnType=bool*/ (/*@type=int*/ x) {
-    return /*@promotedType=none*/ x /*@target=Object::==*/ == 0;
+    return x /*@target=Object::==*/ == 0;
   });
-  var /*@type=Future<bool>*/ g = /*@promotedType=none*/ base
-      . /*@typeArgs=bool*/ /*@target=Future::then*/ then(
-          /*@returnType=bool*/ (/*@type=int*/ x) => /*@promotedType=none*/ x /*@target=Object::==*/ ==
-              0);
-  Future<bool> b = /*@promotedType=none*/ f;
-  b = /*@promotedType=none*/ g;
+  var /*@type=Future<bool>*/ g =
+      base. /*@typeArgs=bool*/ /*@target=Future::then*/ then(
+          /*@returnType=bool*/ (/*@type=int*/ x) =>
+              x /*@target=Object::==*/ == 0);
+  Future<bool> b = f;
+  b = g;
 }