Implement type inference for PropertySet.

pkg/front_end/testcases/inference/property_set_bad_setter.dart.strong.expect

Index: pkg/front_end/testcases/inference/property_set_bad_setter.dart.strong.expect
diff --git a/pkg/front_end/testcases/inference/propagate_inference_transitively.dart.strong.expect b/pkg/front_end/testcases/inference/property_set_bad_setter.dart.strong.expect
similarity index 55%
copy from pkg/front_end/testcases/inference/propagate_inference_transitively.dart.strong.expect
copy to pkg/front_end/testcases/inference/property_set_bad_setter.dart.strong.expect
index d07a3c0614d49d39b92974172da0db331ca51aeb..29476ce2487c89df0928bd2347c9b4666712159b 100644
--- a/pkg/front_end/testcases/inference/propagate_inference_transitively.dart.strong.expect
+++ b/pkg/front_end/testcases/inference/property_set_bad_setter.dart.strong.expect
@@ -3,15 +3,12 @@ import self as self;
 import "dart:core" as core;
 
 class A extends core::Object {
-  field core::int x = 2;
   constructor •() → void
     : super core::Object::•()
     ;
+  set x() → void {}
 }
-static method test5() → dynamic {
-  self::A a1 = new self::A::•();
-  a1.x = "hi";
-  self::A a2 = new self::A::•();
-  a2.x = "hi";
+static method f(self::A a) → void {
+  core::int x = a.{self::A::x} = 0;
 }
 static method main() → dynamic {}