Don't include parameter names in types, don't use Unicode arrow.

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 c63a8d7ea62a668efd85ad17f208dc2ec4c69476..47bd29887151afe2601b7bf078fe739661428b8b 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
@@ -22,26 +22,16 @@ abstract class C {
   AsserterBuilder<List<Asserter<DartType>>, DartType> get assertDOf;
 
   method(AsserterBuilder<List<Asserter<DartType>>, DartType> assertEOf) {
-    assertAOf(/*@typeArgs=Asserter<DartType>(DartType type) → void*/ [
-      _isInt,
-      _isString
-    ]);
-    assertBOf(/*@typeArgs=Asserter<DartType>(DartType type) → void*/ [
-      _isInt,
-      _isString
-    ]);
-    assertCOf(/*@typeArgs=Asserter<DartType>(DartType type) → void*/ [
-      _isInt,
-      _isString
-    ]);
-    assertDOf(/*@typeArgs=Asserter<DartType>(DartType type) → void*/ [
-      _isInt,
-      _isString
-    ]);
-    assertEOf(/*@typeArgs=Asserter<DartType>(DartType type) → void*/ [
-      _isInt,
-      _isString
-    ]);
+    assertAOf(
+        /*@typeArgs=Asserter<DartType>(DartType) -> void*/ [_isInt, _isString]);
+    assertBOf(
+        /*@typeArgs=Asserter<DartType>(DartType) -> void*/ [_isInt, _isString]);
+    assertCOf(
+        /*@typeArgs=Asserter<DartType>(DartType) -> void*/ [_isInt, _isString]);
+    assertDOf(
+        /*@typeArgs=Asserter<DartType>(DartType) -> void*/ [_isInt, _isString]);
+    assertEOf(
+        /*@typeArgs=Asserter<DartType>(DartType) -> void*/ [_isInt, _isString]);
   }
 }
 
@@ -50,22 +40,14 @@ abstract class G<T> {
   AsserterBuilder<List<Asserter<DartType>>, DartType> get assertDOf;
 
   method(AsserterBuilder<List<Asserter<DartType>>, DartType> assertEOf) {
-    assertAOf(/*@typeArgs=Asserter<DartType>(DartType type) → void*/ [
-      _isInt,
-      _isString
-    ]);
-    this.assertAOf(/*@typeArgs=Asserter<DartType>(DartType type) → void*/ [
-      _isInt,
-      _isString
-    ]);
-    this.assertDOf(/*@typeArgs=Asserter<DartType>(DartType type) → void*/ [
-      _isInt,
-      _isString
-    ]);
-    assertEOf(/*@typeArgs=Asserter<DartType>(DartType type) → void*/ [
-      _isInt,
-      _isString
-    ]);
+    assertAOf(
+        /*@typeArgs=Asserter<DartType>(DartType) -> void*/ [_isInt, _isString]);
+    this.assertAOf(
+        /*@typeArgs=Asserter<DartType>(DartType) -> void*/ [_isInt, _isString]);
+    this.assertDOf(
+        /*@typeArgs=Asserter<DartType>(DartType) -> void*/ [_isInt, _isString]);
+    assertEOf(
+        /*@typeArgs=Asserter<DartType>(DartType) -> void*/ [_isInt, _isString]);
   }
 }
 
@@ -75,48 +57,25 @@ AsserterBuilder<List<Asserter<DartType>>, DartType> get assertCOf => null;
 main() {
   AsserterBuilder<List<Asserter<DartType>>, DartType> assertAOf;
   /*@promotedType=none*/ assertAOf(
-      /*@typeArgs=Asserter<DartType>(DartType type) → void*/ [
-        _isInt,
-        _isString
-      ]);
-  assertBOf(/*@typeArgs=Asserter<DartType>(DartType type) → void*/ [
-    _isInt,
-    _isString
-  ]);
-  assertCOf(/*@typeArgs=Asserter<DartType>(DartType type) → void*/ [
-    _isInt,
-    _isString
-  ]);
-  C.assertBOf(/*@typeArgs=Asserter<DartType>(DartType type) → void*/ [
-    _isInt,
-    _isString
-  ]);
-  C.assertCOf(/*@typeArgs=Asserter<DartType>(DartType type) → void*/ [
-    _isInt,
-    _isString
-  ]);
+      /*@typeArgs=Asserter<DartType>(DartType) -> void*/ [_isInt, _isString]);
+  assertBOf(
+      /*@typeArgs=Asserter<DartType>(DartType) -> void*/ [_isInt, _isString]);
+  assertCOf(
+      /*@typeArgs=Asserter<DartType>(DartType) -> void*/ [_isInt, _isString]);
+  C.assertBOf(
+      /*@typeArgs=Asserter<DartType>(DartType) -> void*/ [_isInt, _isString]);
+  C.assertCOf(
+      /*@typeArgs=Asserter<DartType>(DartType) -> void*/ [_isInt, _isString]);
 
   C c;
-  /*@promotedType=none*/ c
-      .assertAOf(/*@typeArgs=Asserter<DartType>(DartType type) → void*/ [
-    _isInt,
-    _isString
-  ]);
-  /*@promotedType=none*/ c
-      .assertDOf(/*@typeArgs=Asserter<DartType>(DartType type) → void*/ [
-    _isInt,
-    _isString
-  ]);
+  /*@promotedType=none*/ c.assertAOf(
+      /*@typeArgs=Asserter<DartType>(DartType) -> void*/ [_isInt, _isString]);
+  /*@promotedType=none*/ c.assertDOf(
+      /*@typeArgs=Asserter<DartType>(DartType) -> void*/ [_isInt, _isString]);
 
   G<int> g;
-  /*@promotedType=none*/ g
-      .assertAOf(/*@typeArgs=Asserter<DartType>(DartType type) → void*/ [
-    _isInt,
-    _isString
-  ]);
-  /*@promotedType=none*/ g
-      .assertDOf(/*@typeArgs=Asserter<DartType>(DartType type) → void*/ [
-    _isInt,
-    _isString
-  ]);
+  /*@promotedType=none*/ g.assertAOf(
+      /*@typeArgs=Asserter<DartType>(DartType) -> void*/ [_isInt, _isString]);
+  /*@promotedType=none*/ g.assertDOf(
+      /*@typeArgs=Asserter<DartType>(DartType) -> void*/ [_isInt, _isString]);
 }