Further integration of front end type inference into analyzer.

pkg/front_end/testcases/ast_builder.status

Index: pkg/front_end/testcases/ast_builder.status
diff --git a/pkg/front_end/testcases/ast_builder.status b/pkg/front_end/testcases/ast_builder.status
index b966f3f9647aad6a69694235d6bd0a548c48830c..a5bd48dcafdb426f62662635d7df8b33be44d009 100644
--- a/pkg/front_end/testcases/ast_builder.status
+++ b/pkg/front_end/testcases/ast_builder.status
@@ -30,9 +30,6 @@ implicit_scope_test: Crash
 implicit_this: Crash
 inference/abstract_class_instantiation: Crash
 inference/assign_local: Crash
-inference/async_closure_return_type_flatten: Crash
-inference/async_closure_return_type_future: Crash
-inference/async_closure_return_type_future_or: Crash
 inference/block_bodied_lambdas_async_all_returns_are_futures: Crash
 inference/block_bodied_lambdas_async_all_returns_are_values: Crash
 inference/block_bodied_lambdas_async_mix_of_values_and_futures: Crash
@@ -40,7 +37,6 @@ inference/block_bodied_lambdas_async_star: Crash
 inference/block_bodied_lambdas_basic: Crash
 inference/block_bodied_lambdas_basic_void: Crash
 inference/block_bodied_lambdas_downwards_incompatible_with_upwards_inference: Crash
-inference/block_bodied_lambdas_downwards_incompatible_with_upwards_inference_top_level: Crash
 inference/block_bodied_lambdas_infer_bottom_async: Fail
 inference/block_bodied_lambdas_infer_bottom_async_star: Fail
 inference/block_bodied_lambdas_infer_bottom_sync: Crash
@@ -51,11 +47,7 @@ inference/block_bodied_lambdas_no_return: Crash
 inference/block_bodied_lambdas_returns: Crash
 inference/block_bodied_lambdas_sync_star: Crash
 inference/block_bodied_lambdas_void_context: Crash
-inference/bottom: Crash
-inference/bottom_in_closure: Crash
 inference/call_corner_cases: Crash
-inference/circular_reference_via_closures: Crash
-inference/circular_reference_via_closures_initializer_types: Crash
 inference/coerce_bottom_and_null_types: Crash
 inference/conditional_lub: Crash
 inference/conditional_upwards_inference: Crash
@@ -191,8 +183,6 @@ inference/infer_binary_int_int: Crash
 inference/infer_conditional: Crash
 inference/infer_consts_transitively_2: Crash
 inference/infer_consts_transitively_2_a: Crash
-inference/infer_consts_transitively_2_b: Crash
-inference/infer_consts_transitively_b: Crash
 inference/infer_correctly_on_multiple_variables_declared_together: Crash
 inference/infer_field_from_later_inferred_field: Crash
 inference/infer_field_from_later_inferred_getter: Crash
@@ -219,7 +209,6 @@ inference/infer_from_variables_in_cycle_libs_when_flag_is_on_a: Crash
 inference/infer_from_variables_in_non_cycle_imports_with_flag2: Crash
 inference/infer_from_variables_in_non_cycle_imports_with_flag2_a: Crash
 inference/infer_from_variables_in_non_cycle_imports_with_flag: Crash
-inference/infer_from_variables_in_non_cycle_imports_with_flag_a: Crash
 inference/infer_generic_method_type_named: Crash
 inference/infer_generic_method_type_positional2: Crash
 inference/infer_generic_method_type_positional: Crash
@@ -233,7 +222,6 @@ inference/infer_method_function_typed: Crash
 inference/infer_method_missing_params: Crash
 inference/infer_parameter_type_setter_from_field: Crash
 inference/infer_parameter_type_setter_from_setter: Fail
-inference/infer_prefix_expression: Crash
 inference/infer_prefix_expression_custom: Crash
 inference/infer_rethrow: Crash
 inference/infer_return_of_statement_lambda: Crash
@@ -246,11 +234,9 @@ inference/infer_statics_transitively3_a: Crash
 inference/infer_statics_transitively: Crash
 inference/infer_statics_transitively_2_a: Crash
 inference/infer_statics_transitively_a: Crash
-inference/infer_statics_transitively_b: Crash
 inference/infer_statics_with_method_invocations: Crash
 inference/infer_statics_with_method_invocations_a: Crash
 inference/infer_throw: Crash
-inference/infer_throw_downwards: Crash
 inference/infer_type_on_overridden_fields2: Crash
 inference/infer_type_on_overridden_fields4: Crash
 inference/infer_type_on_var2: Crash
@@ -268,7 +254,6 @@ inference/infer_types_on_generic_instantiations_in_library_cycle_a: Crash
 inference/infer_types_on_generic_instantiations_infer: Crash
 inference/infer_types_on_loop_indices_for_each_loop: Crash
 inference/infer_types_on_loop_indices_for_loop_with_inference: Crash
-inference/infer_variable_void: Crash
 inference/inferred_initializing_formal_checks_default_value: Crash
 inference/inferred_nonstatic_field_depends_on_static_field_complex: Crash
 inference/inferred_nonstatic_field_depends_on_top_level_var_simple: Crash
@@ -279,34 +264,23 @@ inference/inferred_type_custom_binary_op_via_interface: Crash
 inference/inferred_type_custom_index_op: Crash
 inference/inferred_type_custom_index_op_via_interface: Crash
 inference/inferred_type_custom_unary_op: Crash
-inference/inferred_type_custom_unary_op_via_interface: Crash
 inference/inferred_type_extract_method_tear_off: Crash
 inference/inferred_type_extract_method_tear_off_via_interface: Crash
-inference/inferred_type_from_top_level_executable_tear_off: Crash
 inference/inferred_type_invoke_method: Crash
 inference/inferred_type_invoke_method_via_interface: Crash
 inference/inferred_type_is_enum: Crash
 inference/inferred_type_is_enum_values: Crash
 inference/inferred_type_is_typedef: Crash
 inference/inferred_type_is_typedef_parameterized: Crash
-inference/inferred_type_uses_synthetic_function_type: Crash
-inference/inferred_type_uses_synthetic_function_type_function_typed_param: Crash
 inference/inferred_type_uses_synthetic_function_type_named_param: Crash
 inference/inferred_type_uses_synthetic_function_type_positional_param: Crash
-inference/inferred_type_uses_synthetic_function_type_required_param: Crash
 inference/inferred_type_via_closure_multiple_levels_of_nesting: Crash
 inference/inferred_type_via_closure_type_depends_on_args: Crash
 inference/inferred_type_via_closure_type_independent_of_args_field: Crash
 inference/inferred_type_via_closure_type_independent_of_args_top_level: Crash
 inference/instance_creation_downwards: Crash
-inference/instantiate_to_bounds_generic2_has_bound_defined_after: Crash
-inference/instantiate_to_bounds_generic2_has_bound_defined_before: Crash
-inference/instantiate_to_bounds_generic2_no_bound: Crash
-inference/instantiate_to_bounds_generic_has_bound_defined_after: Crash
-inference/instantiate_to_bounds_generic_has_bound_defined_before: Crash
 inference/instantiate_to_bounds_invoke_constructor_no_bound: Crash
 inference/instantiate_to_bounds_invoke_constructor_type_args_exact: Crash
-inference/instantiate_to_bounds_not_generic: Crash
 inference/lambda_does_not_have_propagated_type_hint: Crash
 inference/lambda_void_context: Crash
 inference/list_literal_typed: Crash
@@ -321,7 +295,6 @@ inference/map_literals_top_level: Crash
 inference/method_call_with_type_arguments_instance_method: Crash
 inference/method_call_with_type_arguments_instance_method_identifier_sequence: Crash
 inference/method_call_with_type_arguments_static_method: Crash
-inference/method_call_with_type_arguments_top_level_function: Crash
 inference/no_error_when_declared_type_is_num_and_assigned_null: Crash
 inference/null_aware_method_invocation: Crash
 inference/null_aware_property_get: Crash
@@ -338,14 +311,9 @@ inference/propagate_inference_transitively: Crash
 inference/property_get_toplevel: Crash
 inference/property_set: Crash
 inference/property_set_bad_setter: Crash
-inference/reference_to_typedef: Crash
 inference/refine_binary_expression_type_type_parameter_t_double: Crash
 inference/refine_binary_expression_type_type_parameter_t_int: Crash
 inference/refine_binary_expression_type_type_parameter_t_t: Crash
-inference/simple_literal_bool: Crash
-inference/simple_literal_double: Crash
-inference/simple_literal_int: Crash
-inference/simple_literal_null: Crash
 inference/static_method_tear_off: Crash
 inference/string_literal: Crash
 inference/subexpressions_of_explicitly_typed_fields: Crash
@@ -357,7 +325,6 @@ inference/super_property_get_tearoff: Crash
 inference/switch_continue: Crash
 inference/this_reference: Crash
 inference/top_level_return_and_yield: Crash
-inference/toplevel_inference_toplevel_var: Crash
 inference/try_catch: Crash
 inference/try_catch_finally: Crash
 inference/try_catch_promotion: Crash
@@ -407,8 +374,6 @@ inference_new/infer_instance_field_ref: Crash
 inference_new/infer_instance_field_ref_circular: Crash
 inference_new/infer_logical: Crash
 inference_new/infer_use_of_void: Crash
-inference_new/list_literals_can_infer_null_top_level: Crash
-inference_new/map_literals_can_infer_null_top_level: Crash
 inference_new/property_get_toplevel: Crash
 inference_new/strongly_connected_component: Crash
 inference_new/switch: Crash