Record method invocation targets that are not procedures.

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 8c2ea91475eec8fa7fce2db15726f15eb98d1050..3e0ba7661cebe27e1d2084da27b53fb1b2839da8 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,13 +22,13 @@ abstract class C {
   AsserterBuilder<List<Asserter<DartType>>, DartType> get assertDOf;
 
   method(AsserterBuilder<List<Asserter<DartType>>, DartType> assertEOf) {
-    assertAOf(
+    /*@target=C::assertAOf*/ assertAOf(
         /*@typeArgs=(DartType) -> void*/ [_isInt, _isString]);
     assertBOf(
         /*@typeArgs=(DartType) -> void*/ [_isInt, _isString]);
     assertCOf(
         /*@typeArgs=(DartType) -> void*/ [_isInt, _isString]);
-    assertDOf(
+    /*@target=C::assertDOf*/ assertDOf(
         /*@typeArgs=(DartType) -> void*/ [_isInt, _isString]);
     assertEOf(
         /*@typeArgs=(DartType) -> void*/ [_isInt, _isString]);
@@ -40,7 +40,7 @@ abstract class G<T> {
   AsserterBuilder<List<Asserter<DartType>>, DartType> get assertDOf;
 
   method(AsserterBuilder<List<Asserter<DartType>>, DartType> assertEOf) {
-    assertAOf(
+    /*@target=G::assertAOf*/ assertAOf(
         /*@typeArgs=(DartType) -> void*/ [_isInt, _isString]);
     this. /*@target=G::assertAOf*/ assertAOf(
         /*@typeArgs=(DartType) -> void*/ [_isInt, _isString]);
@@ -54,7 +54,7 @@ abstract class G<T> {
 AsserterBuilder<List<Asserter<DartType>>, DartType> assertBOf;
 AsserterBuilder<List<Asserter<DartType>>, DartType> get assertCOf => null;
 
-main() {
+test() {
   AsserterBuilder<List<Asserter<DartType>>, DartType> assertAOf;
   assertAOf(
       /*@typeArgs=(DartType) -> void*/ [_isInt, _isString]);
@@ -62,9 +62,9 @@ main() {
       /*@typeArgs=(DartType) -> void*/ [_isInt, _isString]);
   assertCOf(
       /*@typeArgs=(DartType) -> void*/ [_isInt, _isString]);
-  C. /*@target=C::assertBOf*/ assertBOf(
+  C.assertBOf(
       /*@typeArgs=(DartType) -> void*/ [_isInt, _isString]);
-  C. /*@target=C::assertCOf*/ assertCOf(
+  C.assertCOf(
       /*@typeArgs=(DartType) -> void*/ [_isInt, _isString]);
 
   C c;
@@ -79,3 +79,5 @@ main() {
   g. /*@target=G::assertDOf*/ assertDOf(
       /*@typeArgs=(DartType) -> void*/ [_isInt, _isString]);
 }
+
+main() {}