Add type inference for assignments to properties.

pkg/front_end/test/fasta/strong.status

Index: pkg/front_end/test/fasta/strong.status
diff --git a/pkg/front_end/test/fasta/strong.status b/pkg/front_end/test/fasta/strong.status
index 7b5dcc397ce9b9613e5a5dba55ed458f4fdf480d..70eb984e2929dd2541956ff440634ae00c44856f 100644
--- a/pkg/front_end/test/fasta/strong.status
+++ b/pkg/front_end/test/fasta/strong.status
@@ -61,8 +61,6 @@ inference/downwards_inference_on_function_of_t_using_the_t: Fail
 inference/future_then_explicit_future: Fail
 inference/generic_functions_return_typedef: Fail
 inference/generic_methods_infer_js_builtin: Fail
-inference/infer_assign_to_property: Fail
-inference/infer_assign_to_property_custom: Fail
 inference/infer_binary_double_double: Fail
 inference/infer_binary_double_int: Fail
 inference/infer_binary_int_double: Fail
@@ -81,7 +79,6 @@ inference/infer_prefix_expression: Fail
 inference/infer_statics_transitively: Fail
 inference/infer_statics_transitively3: Fail
 inference/infer_statics_transitively_a: Fail
-inference/infer_type_on_var_from_field: Fail
 inference/infer_types_on_loop_indices_for_each_loop: Fail
 inference/infer_types_on_loop_indices_for_loop_with_inference: Fail
 inference/inferred_type_cascade: Fail
@@ -90,6 +87,8 @@ inference/list_literals_can_infer_null_top_level: Fail
 inference/map_literals_can_infer_null_top_level: Fail
 inference/null_coalescing_operator: Fail
 inference/null_coalescing_operator_2: Fail
+inference/property_set: Fail
+inference/property_set_bad_setter: Crash
 inference/reference_to_typedef: Fail
 inference/refine_binary_expression_type_type_parameter_t_double: Fail
 inference/refine_binary_expression_type_type_parameter_t_int: Fail