Mark some more type inference tests as passing.

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 85f35db16d16183192fd5e3a35102896231059a5..50bcb10cea156a8423ddb2fe57e21e3e27eace30 100644
--- a/pkg/front_end/test/fasta/strong.status
+++ b/pkg/front_end/test/fasta/strong.status
@@ -55,12 +55,9 @@ void-methods: Fail
 
 inference/constructors_too_many_positional_arguments: Fail
 inference/downwards_inference_annotations: Fail
-inference/downwards_inference_initializing_formal_default_formal: Fail
 inference/downwards_inference_on_function_of_t_using_the_t: Fail
 inference/downwards_inference_on_generic_function_expressions: 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
 inference/future_then_conditional: Fail
 inference/future_then_conditional_2: Fail
 inference/future_then_conditional_3: Fail