Do not annotate type parameters of instantiated function types.

pkg/front_end/testcases/inference/downwards_inference_on_list_literals_infer_if_value_types_match_context.dart

Index: pkg/front_end/testcases/inference/downwards_inference_on_list_literals_infer_if_value_types_match_context.dart
diff --git a/pkg/front_end/testcases/inference/downwards_inference_on_list_literals_infer_if_value_types_match_context.dart b/pkg/front_end/testcases/inference/downwards_inference_on_list_literals_infer_if_value_types_match_context.dart
index 317d9dc9d3b51d712031a7c42aeaac79d7f1d20b..8c2ea91475eec8fa7fce2db15726f15eb98d1050 100644
--- a/pkg/front_end/testcases/inference/downwards_inference_on_list_literals_infer_if_value_types_match_context.dart
+++ b/pkg/front_end/testcases/inference/downwards_inference_on_list_literals_infer_if_value_types_match_context.dart
@@ -23,15 +23,15 @@ abstract class C {
 
   method(AsserterBuilder<List<Asserter<DartType>>, DartType> assertEOf) {
     assertAOf(
-        /*@typeArgs=<DartType>(DartType) -> void*/ [_isInt, _isString]);
+        /*@typeArgs=(DartType) -> void*/ [_isInt, _isString]);
     assertBOf(
-        /*@typeArgs=<DartType>(DartType) -> void*/ [_isInt, _isString]);
+        /*@typeArgs=(DartType) -> void*/ [_isInt, _isString]);
     assertCOf(
-        /*@typeArgs=<DartType>(DartType) -> void*/ [_isInt, _isString]);
+        /*@typeArgs=(DartType) -> void*/ [_isInt, _isString]);
     assertDOf(
-        /*@typeArgs=<DartType>(DartType) -> void*/ [_isInt, _isString]);
+        /*@typeArgs=(DartType) -> void*/ [_isInt, _isString]);
     assertEOf(
-        /*@typeArgs=<DartType>(DartType) -> void*/ [_isInt, _isString]);
+        /*@typeArgs=(DartType) -> void*/ [_isInt, _isString]);
   }
 }
 
@@ -41,13 +41,13 @@ abstract class G<T> {
 
   method(AsserterBuilder<List<Asserter<DartType>>, DartType> assertEOf) {
     assertAOf(
-        /*@typeArgs=<DartType>(DartType) -> void*/ [_isInt, _isString]);
+        /*@typeArgs=(DartType) -> void*/ [_isInt, _isString]);
     this. /*@target=G::assertAOf*/ assertAOf(
-        /*@typeArgs=<DartType>(DartType) -> void*/ [_isInt, _isString]);
+        /*@typeArgs=(DartType) -> void*/ [_isInt, _isString]);
     this. /*@target=G::assertDOf*/ assertDOf(
-        /*@typeArgs=<DartType>(DartType) -> void*/ [_isInt, _isString]);
+        /*@typeArgs=(DartType) -> void*/ [_isInt, _isString]);
     assertEOf(
-        /*@typeArgs=<DartType>(DartType) -> void*/ [_isInt, _isString]);
+        /*@typeArgs=(DartType) -> void*/ [_isInt, _isString]);
   }
 }
 
@@ -57,25 +57,25 @@ AsserterBuilder<List<Asserter<DartType>>, DartType> get assertCOf => null;
 main() {
   AsserterBuilder<List<Asserter<DartType>>, DartType> assertAOf;
   assertAOf(
-      /*@typeArgs=<DartType>(DartType) -> void*/ [_isInt, _isString]);
+      /*@typeArgs=(DartType) -> void*/ [_isInt, _isString]);
   assertBOf(
-      /*@typeArgs=<DartType>(DartType) -> void*/ [_isInt, _isString]);
+      /*@typeArgs=(DartType) -> void*/ [_isInt, _isString]);
   assertCOf(
-      /*@typeArgs=<DartType>(DartType) -> void*/ [_isInt, _isString]);
+      /*@typeArgs=(DartType) -> void*/ [_isInt, _isString]);
   C. /*@target=C::assertBOf*/ assertBOf(
-      /*@typeArgs=<DartType>(DartType) -> void*/ [_isInt, _isString]);
+      /*@typeArgs=(DartType) -> void*/ [_isInt, _isString]);
   C. /*@target=C::assertCOf*/ assertCOf(
-      /*@typeArgs=<DartType>(DartType) -> void*/ [_isInt, _isString]);
+      /*@typeArgs=(DartType) -> void*/ [_isInt, _isString]);
 
   C c;
   c. /*@target=C::assertAOf*/ assertAOf(
-      /*@typeArgs=<DartType>(DartType) -> void*/ [_isInt, _isString]);
+      /*@typeArgs=(DartType) -> void*/ [_isInt, _isString]);
   c. /*@target=C::assertDOf*/ assertDOf(
-      /*@typeArgs=<DartType>(DartType) -> void*/ [_isInt, _isString]);
+      /*@typeArgs=(DartType) -> void*/ [_isInt, _isString]);
 
   G<int> g;
   g. /*@target=G::assertAOf*/ assertAOf(
-      /*@typeArgs=<DartType>(DartType) -> void*/ [_isInt, _isString]);
+      /*@typeArgs=(DartType) -> void*/ [_isInt, _isString]);
   g. /*@target=G::assertDOf*/ assertDOf(
-      /*@typeArgs=<DartType>(DartType) -> void*/ [_isInt, _isString]);
+      /*@typeArgs=(DartType) -> void*/ [_isInt, _isString]);
 }