Get rid of promotedType=none annotations

pkg/front_end/testcases/inference/future_or_subtyping.dart

Index: pkg/front_end/testcases/inference/future_or_subtyping.dart
diff --git a/pkg/front_end/testcases/inference/future_or_subtyping.dart b/pkg/front_end/testcases/inference/future_or_subtyping.dart
index 2b21a73ce550c9271d550f622b6e742bebed33f2..e135a1cc98c127d949c2093f867e483b9b2a39f2 100644
--- a/pkg/front_end/testcases/inference/future_or_subtyping.dart
+++ b/pkg/front_end/testcases/inference/future_or_subtyping.dart
@@ -11,8 +11,8 @@ void add(int x) {}
 add2(int y) {}
 main() {
   Future<int> f;
-  var /*@type=Future<void>*/ a = /*@promotedType=none*/ f
-      . /*@typeArgs=void*/ /*@target=Future::then*/ then(add);
-  var /*@type=Future<dynamic>*/ b = /*@promotedType=none*/ f
-      . /*@typeArgs=dynamic*/ /*@target=Future::then*/ then(add2);
+  var /*@type=Future<void>*/ a =
+      f. /*@typeArgs=void*/ /*@target=Future::then*/ then(add);
+  var /*@type=Future<dynamic>*/ b =
+      f. /*@typeArgs=dynamic*/ /*@target=Future::then*/ then(add2);
 }