Implement type inference of static invocations.

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 3f0a33cd0a47b796dbd28ae5247841133082b250..909b6e38d73d5f20be553cf108a2d700b736931c 100644
--- a/pkg/front_end/test/fasta/strong.status
+++ b/pkg/front_end/test/fasta/strong.status
@@ -90,7 +90,6 @@ inference/downwards_inference_async_await: Fail
 inference/downwards_inference_for_each: Fail
 inference/downwards_inference_initializing_formal_default_formal: Fail
 inference/downwards_inference_inside_top_level: Fail
-inference/downwards_inference_on_function_arguments_infer_downwards: Fail
 inference/downwards_inference_on_function_expressions: Fail
 inference/downwards_inference_on_function_of_t_using_the_t: Fail
 inference/downwards_inference_on_generic_function_expressions: Fail
@@ -127,14 +126,10 @@ inference/future_union_downwards_generic_method_with_future_return: Fail
 inference/future_union_downwards_generic_method_with_generic_return: Fail
 inference/future_union_upwards_generic_methods: Fail
 inference/generic_functions_return_typedef: Fail
-inference/generic_methods_basic_downward_inference: Fail
-inference/generic_methods_dart_math_min_max: Fail
-inference/generic_methods_downwards_inference_affects_arguments: Fail
 inference/generic_methods_downwards_inference_fold: Fail
 inference/generic_methods_infer_js_builtin: Fail
 inference/generic_methods_iterable_and_future: Fail
 inference/generic_methods_nested_generic_instantiation: Fail
-inference/generic_methods_uses_greatest_lower_bound: Fail
 inference/infer_assign_to_index: Fail
 inference/infer_assign_to_property: Fail
 inference/infer_assign_to_property_custom: Fail
@@ -164,14 +159,11 @@ inference/infer_typed_map_literal: Fail
 inference/infer_types_on_generic_instantiations_in_library_cycle: Fail
 inference/infer_types_on_loop_indices_for_each_loop: Fail
 inference/infer_types_on_loop_indices_for_loop_with_inference: Fail
-inference/infer_variable_void: Fail
 inference/inferred_nonstatic_field_depends_on_static_field_complex: Fail
 inference/inferred_type_block_closure_no_args_no_return: Fail
 inference/inferred_type_cascade: Fail
 inference/inferred_type_extract_method_tear_off: Fail
 inference/inferred_type_extract_method_tear_off_via_interface: Fail
-inference/inferred_type_invoke_method: Fail
-inference/inferred_type_invoke_method_via_interface: Fail
 inference/inferred_type_is_typedef: Fail
 inference/inferred_type_is_typedef_parameterized: Fail
 inference/inferred_type_uses_synthetic_function_type_named_param: Fail
@@ -185,7 +177,6 @@ inference/map_literals_can_infer_null: Fail
 inference/map_literals_can_infer_null_top_level: Fail
 inference/map_literals_top_level: Fail
 inference/method_call_with_type_arguments_static_method: Fail
-inference/method_call_with_type_arguments_top_level_function: Fail
 inference/null_coalescing_operator: Fail
 inference/null_coalescing_operator_2: Fail
 inference/null_literal_should_not_infer_as_bottom: Fail
@@ -197,13 +188,9 @@ 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_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_type_param: Fail
 inference/unsafe_block_closure_inference_function_call_explicit_type_param_via_expr1: 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_map_dynamic: Fail
 inference/unsafe_block_closure_inference_in_map_typed: Fail