Implement type inference for PropertyGet.

pkg/front_end/testcases/inference/infer_assign_to_property.dart

Index: pkg/front_end/testcases/inference/infer_assign_to_property.dart
diff --git a/pkg/front_end/testcases/inference/infer_assign_to_property.dart b/pkg/front_end/testcases/inference/infer_assign_to_property.dart
index f28a7ae47fdb828b3a71c1f8002b4b90eb6ec6bd..53d6416ccc6d8a0c8f4653db311586a0cd85d95c 100644
--- a/pkg/front_end/testcases/inference/infer_assign_to_property.dart
+++ b/pkg/front_end/testcases/inference/infer_assign_to_property.dart
@@ -12,18 +12,18 @@ class A {
 var /*@topType=dynamic*/ v_assign =
     (/*error:TOP_LEVEL_UNSUPPORTED*/ new A().f = 1);
 var /*@topType=dynamic*/ v_plus =
-    (/*error:TOP_LEVEL_UNSUPPORTED*/ new A().f += 1);
+    (/*error:TOP_LEVEL_UNSUPPORTED*/ new A(). /*@target=A::f=*/ f += 1);
 var /*@topType=dynamic*/ v_minus =
-    (/*error:TOP_LEVEL_UNSUPPORTED*/ new A().f -= 1);
+    (/*error:TOP_LEVEL_UNSUPPORTED*/ new A(). /*@target=A::f=*/ f -= 1);
 var /*@topType=dynamic*/ v_multiply =
-    (/*error:TOP_LEVEL_UNSUPPORTED*/ new A().f *= 1);
-var /*@topType=dynamic*/ v_prefix_pp =
-    (/*@target=num::+*/ ++new A(). /*error:TOP_LEVEL_INSTANCE_GETTER*/ f);
-var /*@topType=dynamic*/ v_prefix_mm =
-    (/*@target=num::-*/ --new A(). /*error:TOP_LEVEL_INSTANCE_GETTER*/ f);
+    (/*error:TOP_LEVEL_UNSUPPORTED*/ new A(). /*@target=A::f=*/ f *= 1);
+var /*@topType=dynamic*/ v_prefix_pp = (/*@target=num::+*/ ++new A()
+    . /*error:TOP_LEVEL_INSTANCE_GETTER*/ /*@target=A::f=*/ f);
+var /*@topType=dynamic*/ v_prefix_mm = (/*@target=num::-*/ --new A()
+    . /*error:TOP_LEVEL_INSTANCE_GETTER*/ /*@target=A::f=*/ f);
 var /*@topType=dynamic*/ v_postfix_pp =
-    (new A(). /*error:TOP_LEVEL_INSTANCE_GETTER*/ f++);
+    (new A(). /*error:TOP_LEVEL_INSTANCE_GETTER*/ /*@target=A::f=*/ f++);
 var /*@topType=dynamic*/ v_postfix_mm =
-    (new A(). /*error:TOP_LEVEL_INSTANCE_GETTER*/ f--);
+    (new A(). /*error:TOP_LEVEL_INSTANCE_GETTER*/ /*@target=A::f=*/ f--);
 
 main() {}