Add type inference for assignments to properties.

pkg/front_end/testcases/inference/infer_assign_to_property_full.dart

Index: pkg/front_end/testcases/inference/infer_assign_to_property_full.dart
diff --git a/pkg/front_end/testcases/inference/infer_assign_to_property_full.dart b/pkg/front_end/testcases/inference/infer_assign_to_property_full.dart
new file mode 100644
index 0000000000000000000000000000000000000000..1216d91182ee6c0f09043ba72a91fcd7a5040f58
--- /dev/null
+++ b/pkg/front_end/testcases/inference/infer_assign_to_property_full.dart
@@ -0,0 +1,47 @@
+// Copyright (c) 2017, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+/*@testedFeatures=inference*/
+library test;
+
+class A {}
+
+class B extends A {
+  A operator +(C v) => null;
+  B operator -(int i) => null;
+  B operator *(B v) => null;
+  C operator &(A v) => null;
+}
+
+class C extends B {}
+
+T f<T>() => null;
+
+class Test {
+  B member;
+
+  static void test(Test t) {
+    t. /*@target=Test::member*/ member = /*@typeArgs=B*/ f();
+    t. /*@target=Test::member*/ member ??= /*@typeArgs=B*/ f();
+    t. /*@target=Test::member*/ member += /*@typeArgs=dynamic*/ f();
+    t. /*@target=Test::member*/ member *= /*@typeArgs=dynamic*/ f();
+    t. /*@target=Test::member*/ member &= /*@typeArgs=dynamic*/ f();
+    --t. /*@target=Test::member*/ member;
+    t. /*@target=Test::member*/ member--;
+    var /*@type=B*/ v1 =
+        t. /*@target=Test::member*/ member = /*@typeArgs=B*/ f();
+    var /*@type=B*/ v2 =
+        t. /*@target=Test::member*/ member ??= /*@typeArgs=B*/ f();
+    var /*@type=A*/ v3 =
+        t. /*@target=Test::member*/ member += /*@typeArgs=dynamic*/ f();
+    var /*@type=B*/ v4 =
+        t. /*@target=Test::member*/ member *= /*@typeArgs=dynamic*/ f();
+    var /*@type=C*/ v5 =
+        t. /*@target=Test::member*/ member &= /*@typeArgs=dynamic*/ f();
+    var /*@type=B*/ v6 = --t. /*@target=Test::member*/ member;
+    var /*@type=B*/ v7 = t. /*@target=Test::member*/ member--;
+  }
+}
+
+main() {}