Implement type inference for PropertyGet.

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 87a55c6156e2b9745abfa4844ff300d07ed5a8b8..317d9dc9d3b51d712031a7c42aeaac79d7f1d20b 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
@@ -42,9 +42,9 @@ abstract class G<T> {
   method(AsserterBuilder<List<Asserter<DartType>>, DartType> assertEOf) {
     assertAOf(
         /*@typeArgs=<DartType>(DartType) -> void*/ [_isInt, _isString]);
-    this.assertAOf(
+    this. /*@target=G::assertAOf*/ assertAOf(
         /*@typeArgs=<DartType>(DartType) -> void*/ [_isInt, _isString]);
-    this.assertDOf(
+    this. /*@target=G::assertDOf*/ assertDOf(
         /*@typeArgs=<DartType>(DartType) -> void*/ [_isInt, _isString]);
     assertEOf(
         /*@typeArgs=<DartType>(DartType) -> void*/ [_isInt, _isString]);
@@ -62,20 +62,20 @@ main() {
       /*@typeArgs=<DartType>(DartType) -> void*/ [_isInt, _isString]);
   assertCOf(
       /*@typeArgs=<DartType>(DartType) -> void*/ [_isInt, _isString]);
-  C.assertBOf(
+  C. /*@target=C::assertBOf*/ assertBOf(
       /*@typeArgs=<DartType>(DartType) -> void*/ [_isInt, _isString]);
-  C.assertCOf(
+  C. /*@target=C::assertCOf*/ assertCOf(
       /*@typeArgs=<DartType>(DartType) -> void*/ [_isInt, _isString]);
 
   C c;
-  c.assertAOf(
+  c. /*@target=C::assertAOf*/ assertAOf(
       /*@typeArgs=<DartType>(DartType) -> void*/ [_isInt, _isString]);
-  c.assertDOf(
+  c. /*@target=C::assertDOf*/ assertDOf(
       /*@typeArgs=<DartType>(DartType) -> void*/ [_isInt, _isString]);
 
   G<int> g;
-  g.assertAOf(
+  g. /*@target=G::assertAOf*/ assertAOf(
       /*@typeArgs=<DartType>(DartType) -> void*/ [_isInt, _isString]);
-  g.assertDOf(
+  g. /*@target=G::assertDOf*/ assertDOf(
       /*@typeArgs=<DartType>(DartType) -> void*/ [_isInt, _isString]);
 }