Add type inference for assignments to properties.

pkg/front_end/testcases/inference/infer_assign_to_property_super.dart

Index: pkg/front_end/testcases/inference/infer_assign_to_property_super.dart
diff --git a/pkg/front_end/testcases/inference/infer_assign_to_property_super.dart b/pkg/front_end/testcases/inference/infer_assign_to_property_super.dart
new file mode 100644
index 0000000000000000000000000000000000000000..165d895266c6378f74f9c58a0d6270bec9dfbf80
--- /dev/null
+++ b/pkg/front_end/testcases/inference/infer_assign_to_property_super.dart
@@ -0,0 +1,49 @@
+// 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 Base {
+  B member;
+}
+
+class Test extends Base {
+  void test() {
+    super. /*@target=Base::member*/ member = /*@typeArgs=B*/ f();
+    super. /*@target=Base::member*/ member ??= /*@typeArgs=B*/ f();
+    super. /*@target=Base::member*/ member += /*@typeArgs=dynamic*/ f();
+    super. /*@target=Base::member*/ member *= /*@typeArgs=dynamic*/ f();
+    super. /*@target=Base::member*/ member &= /*@typeArgs=dynamic*/ f();
+    --super. /*@target=Base::member*/ member;
+    super. /*@target=Base::member*/ member--;
+    var /*@type=B*/ v1 =
+        super. /*@target=Base::member*/ member = /*@typeArgs=B*/ f();
+    var /*@type=B*/ v2 =
+        super. /*@target=Base::member*/ member ??= /*@typeArgs=B*/ f();
+    var /*@type=A*/ v3 =
+        super. /*@target=Base::member*/ member += /*@typeArgs=dynamic*/ f();
+    var /*@type=B*/ v4 =
+        super. /*@target=Base::member*/ member *= /*@typeArgs=dynamic*/ f();
+    var /*@type=C*/ v5 =
+        super. /*@target=Base::member*/ member &= /*@typeArgs=dynamic*/ f();
+    var /*@type=B*/ v6 = --super. /*@target=Base::member*/ member;
+    var /*@type=B*/ v7 = super. /*@target=Base::member*/ member--;
+  }
+}
+
+main() {}