Add type inference support for "call" invocations of function expressions.

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 4f1dd1011cb7733d588424b0dfeb90ae9dcff7cd..3f0b3d74203b96d4cde371deb844d930f7d2e8ee 100644
--- a/pkg/front_end/test/fasta/strong.status
+++ b/pkg/front_end/test/fasta/strong.status
@@ -145,11 +145,10 @@ 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
 inference/refine_binary_expression_type_type_parameter_t_t: Fail
-inference/unsafe_block_closure_inference_closure_call: 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_via_expr1: Fail
-inference/unsafe_block_closure_inference_function_call_implicit_type_param_via_expr: Fail
-inference/unsafe_block_closure_inference_function_call_no_type_param_via_expr: Fail
+inference/unsafe_block_closure_inference_function_call_explicit_type_param_via_expr2: Fail
 inference/void_return_type_subtypes_dynamic: Fail
 
 rasta/abstract_constructor: Fail