Implement full closure inference logic.

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 a8ffb62d65adb69a8cf167b13aa041dd98806c57..e41f77d4d62633172606e1e07820496c2cc48656 100644
--- a/pkg/front_end/test/fasta/strong.status
+++ b/pkg/front_end/test/fasta/strong.status
@@ -57,7 +57,6 @@ unused_methods: Fail
 void-methods: Fail
 
 inference/async_closure_return_type_flatten: Fail
-inference/async_closure_return_type_future: Fail
 inference/async_closure_return_type_future_or: Fail
 inference/block_bodied_lambdas_async_all_returns_are_futures: Fail
 inference/block_bodied_lambdas_async_all_returns_are_values: Fail
@@ -70,7 +69,6 @@ inference/block_bodied_lambdas_infer_bottom_async_star: Fail
 inference/block_bodied_lambdas_infer_bottom_sync: Fail
 inference/block_bodied_lambdas_infer_bottom_sync_star: Fail
 inference/block_bodied_lambdas_lub: Fail
-inference/block_bodied_lambdas_nested_lambdas: Fail
 inference/block_bodied_lambdas_no_return: Fail
 inference/block_bodied_lambdas_sync_star: Fail
 inference/circular_reference_via_closures: Fail
@@ -185,9 +183,6 @@ inference/inferred_type_uses_synthetic_function_type_function_typed_param: Fail
 inference/inferred_type_uses_synthetic_function_type_named_param: Fail
 inference/inferred_type_uses_synthetic_function_type_positional_param: Fail
 inference/inferred_type_via_closure_multiple_levels_of_nesting: Fail
-inference/inferred_type_via_closure_type_depends_on_args: Fail
-inference/inferred_type_via_closure_type_independent_of_args_field: Fail
-inference/inferred_type_via_closure_type_independent_of_args_top_level: Fail
 inference/lambda_does_not_have_propagated_type_hint: Fail
 inference/list_literals_can_infer_null_top_level: Fail
 inference/local_constructor_from_arguments: Fail
@@ -208,30 +203,19 @@ inference/refine_binary_expression_type_type_parameter_t_t: Fail
 inference/type_promotion_stopped_by_access_in_a_closure: Fail
 inference/type_promotion_stopped_by_mutation_in_a_closure: Fail
 inference/unsafe_block_closure_inference_closure_call: Fail
-inference/unsafe_block_closure_inference_constructor_call_explicit_dynamic_param: Fail
-inference/unsafe_block_closure_inference_constructor_call_explicit_type_param: Fail
 inference/unsafe_block_closure_inference_constructor_call_implicit_type_param: Fail
-inference/unsafe_block_closure_inference_constructor_call_no_type_param: Fail
 inference/unsafe_block_closure_inference_function_call_explicit_dynamic_param: Fail
 inference/unsafe_block_closure_inference_function_call_explicit_dynamic_param_via_expr1: Fail
-inference/unsafe_block_closure_inference_function_call_explicit_dynamic_param_via_expr2: Fail
 inference/unsafe_block_closure_inference_function_call_explicit_type_param: Fail
 inference/unsafe_block_closure_inference_function_call_explicit_type_param_via_expr1: Fail
-inference/unsafe_block_closure_inference_function_call_explicit_type_param_via_expr2: Fail
 inference/unsafe_block_closure_inference_function_call_implicit_type_param: Fail
 inference/unsafe_block_closure_inference_function_call_implicit_type_param_via_expr: Fail
 inference/unsafe_block_closure_inference_function_call_no_type_param: Fail
 inference/unsafe_block_closure_inference_function_call_no_type_param_via_expr: Fail
-inference/unsafe_block_closure_inference_in_list_dynamic: Fail
-inference/unsafe_block_closure_inference_in_list_typed: Fail
-inference/unsafe_block_closure_inference_in_list_untyped: Fail
 inference/unsafe_block_closure_inference_in_map_dynamic: Fail
 inference/unsafe_block_closure_inference_in_map_typed: Fail
 inference/unsafe_block_closure_inference_in_map_untyped: Fail
-inference/unsafe_block_closure_inference_method_call_explicit_dynamic_param: Fail
-inference/unsafe_block_closure_inference_method_call_explicit_type_param: Fail
 inference/unsafe_block_closure_inference_method_call_implicit_type_param: Fail
-inference/unsafe_block_closure_inference_method_call_no_type_param: Fail
 inference/void_return_type_subtypes_dynamic: Fail
 
 rasta/abstract_constructor: Fail