Fix constructor invocation type inference.

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 77399ceb74ed75687fb80d7f6acac425baa61bd8..24f162c8492dd43ecc1d2d09a2dd663f30d6b820 100644
--- a/pkg/front_end/test/fasta/strong.status
+++ b/pkg/front_end/test/fasta/strong.status
@@ -76,7 +76,6 @@ inference/block_bodied_lambdas_no_return: Fail
 inference/block_bodied_lambdas_sync_star: Fail
 inference/circular_reference_via_closures: Fail
 inference/circular_reference_via_closures_initializer_types: Fail
-inference/constructors_downwards_with_constraint: Fail
 inference/constructors_infer_from_arguments: Fail
 inference/constructors_infer_from_arguments_argument_not_assignable: Fail
 inference/constructors_infer_from_arguments_const: Fail
@@ -84,9 +83,7 @@ inference/constructors_infer_from_arguments_const_with_upper_bound: Fail
 inference/constructors_infer_from_arguments_downwards_from_constructor: Fail
 inference/constructors_infer_from_arguments_factory: Fail
 inference/constructors_infer_from_arguments_factory_calls_constructor: Fail
-inference/constructors_infer_from_arguments_named: Fail
 inference/constructors_infer_from_arguments_named_factory: Fail
-inference/constructors_infer_from_arguments_redirecting: Fail
 inference/constructors_infer_from_arguments_redirecting_factory: Fail
 inference/constructors_inference_f_bounded: Fail
 inference/constructors_reverse_type_parameters: Fail
@@ -101,10 +98,8 @@ 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_constructor_arguments_empty_list: Fail
 inference/downwards_inference_on_generic_constructor_arguments_infer_downwards: Fail
 inference/downwards_inference_on_generic_function_expressions: Fail
-inference/downwards_inference_on_instance_creations_infer_downwards: Fail
 inference/downwards_inference_on_list_literals_infer_downwards: Fail
 inference/downwards_inference_on_list_literals_infer_if_value_types_match_context: Fail
 inference/downwards_inference_on_map_literals: Fail
@@ -177,7 +172,6 @@ inference/infer_statics_transitively_a: Fail
 inference/infer_throw: Fail
 inference/infer_type_on_var_from_field: Fail
 inference/infer_typed_map_literal: Fail
-inference/infer_types_on_generic_instantiations_5: 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
@@ -204,7 +198,6 @@ 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/instantiate_to_bounds_invoke_constructor_no_bound: Fail
 inference/instantiate_to_bounds_invoke_constructor_type_args_exact: Fail
 inference/lambda_does_not_have_propagated_type_hint: Fail
 inference/list_literals_can_infer_null_top_level: Fail