Get rid of promotedType=none annotations

pkg/front_end/testcases/inference/future_then_explicit_future.dart

Index: pkg/front_end/testcases/inference/future_then_explicit_future.dart
diff --git a/pkg/front_end/testcases/inference/future_then_explicit_future.dart b/pkg/front_end/testcases/inference/future_then_explicit_future.dart
index 7559453532bc5792c753015140f0bb297cfe6b94..8db3f5627f17ee8b208ada7a3fdcd6862578d6d7 100644
--- a/pkg/front_end/testcases/inference/future_then_explicit_future.dart
+++ b/pkg/front_end/testcases/inference/future_then_explicit_future.dart
@@ -9,17 +9,17 @@ import "dart:async";
 
 m1() {
   Future<int> f;
-  var /*@type=Future<List<int>>*/ x = /*@promotedType=none*/ f
-      . /*@target=Future::then*/ then<Future<List<int>>>(
-          /*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/
-          /*@returnType=List<dynamic>*/ (/*@type=int*/ x) => /*@typeArgs=dynamic*/ []);
-  Future<List<int>> y = /*@promotedType=none*/ x;
+  var /*@type=Future<List<int>>*/ x = f. /*@target=Future::then*/ then<
+          Future<List<int>>>(
+      /*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/
+      /*@returnType=List<dynamic>*/ (/*@type=int*/ x) => /*@typeArgs=dynamic*/ []);
+  Future<List<int>> y = x;
 }
 
 m2() {
   Future<int> f;
-  var /*@type=Future<List<int>>*/ x = /*@promotedType=none*/ f
-      . /*@target=Future::then*/ then<List<int>>(
+  var /*@type=Future<List<int>>*/ x =
+      f. /*@target=Future::then*/ then<List<int>>(
           /*@returnType=List<int>*/ (/*@type=int*/ x) => /*@typeArgs=int*/ []);
-  Future<List<int>> y = /*@promotedType=none*/ x;
+  Future<List<int>> y = x;
 }