Further integration of front end type inference into analyzer.

pkg/front_end/testcases/ast_builder.status

 # Copyright (c) 2017, the Dart project authors. Please see the AUTHORS file
 # for details. All rights reserved. Use of this source code is governed by a
 # BSD-style license that can be found in the LICENSE.md file.
 
 # Status file for the ast_builder_test.dart test suite. This is testing
 # generating analyzer ASTs and connecting up type inference information.
 DeltaBlue: Crash
 accessors: Crash
 argument: Crash
 arithmetic: Crash
 bad_store: Crash
 call: Crash
 cascade: Crash
 casts: Crash
 classes: Crash
 closure: Crash
 covariant_generic: Crash
 cycles: Crash
 default_values: Crash
 escape: Crash
 expressions: Crash
 external: Crash
 fallthrough: Crash
 fibonacci: Crash
 for_in_scope: Crash
 function_in_field: Crash
 function_type_is_check: Crash
-function_type_recovery: Crash
 functions: Crash
 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
@@ skipping 36 matching lines @@
 inference/constructors_infer_from_arguments_redirecting: Crash
 inference/constructors_infer_from_arguments_redirecting_factory: Crash
 inference/constructors_infer_from_arguments_redirecting_factory_to_factory: Crash
 inference/constructors_inference_f_bounded: Crash
 inference/constructors_reverse_type_parameters: Crash
 inference/constructors_too_many_positional_arguments: Crash
 inference/do_not_infer_overridden_fields_that_explicitly_say_dynamic_infer: Crash
 inference/dont_infer_field_type_when_initializer_is_null: Crash
 inference/dont_infer_type_on_dynamic: Crash
 inference/dont_infer_type_when_initializer_is_null: Crash
-inference/downward_inference_fixes_no_upwards_errors: Crash
 inference/downward_inference_miscellaneous: Crash
 inference/downwards_inference_annotations: Crash
 inference/downwards_inference_annotations_class_members: Crash
 inference/downwards_inference_annotations_for_loop_variable: Crash
 inference/downwards_inference_annotations_locals: Fail
 inference/downwards_inference_annotations_locals_referring_to_locals: Crash
 inference/downwards_inference_annotations_parameter: Fail
 inference/downwards_inference_annotations_parameter_local: Crash
 inference/downwards_inference_annotations_type_variable: Fail
 inference/downwards_inference_annotations_type_variable_local: Crash
@@ skipping 48 matching lines @@
 inference/future_union_downwards_3: Crash
 inference/future_union_downwards_4: Crash
 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: Crash
 inference/generic_methods_basic_downward_inference: Crash
 inference/generic_methods_correctly_recognize_generic_upper_bound: Crash
 inference/generic_methods_dart_math_min_max: Crash
 inference/generic_methods_do_not_infer_invalid_override_of_generic_method: Crash
-inference/generic_methods_downwards_inference_affects_arguments: Crash
 inference/generic_methods_downwards_inference_fold: Crash
 inference/generic_methods_handle_override_of_non_generic_with_generic: Crash
 inference/generic_methods_infer_generic_function_parameter_type2: Fail
 inference/generic_methods_infer_generic_function_parameter_type: Fail
 inference/generic_methods_infer_generic_function_return_type: Fail
 inference/generic_methods_infer_generic_instantiation: Crash
 inference/generic_methods_infer_generic_method_type: Crash
 inference/generic_methods_infer_js_builtin: Fail
 inference/generic_methods_inference_error: Crash
 inference/generic_methods_iterable_and_future: Crash
@@ skipping 99 matching lines @@
 inference/infer_type_regardless_of_declaration_order_or_cycles_b: Crash
 inference/infer_typed_map_literal: Crash
 inference/infer_types_on_generic_instantiations_3: Crash
 inference/infer_types_on_generic_instantiations_4: Crash
 inference/infer_types_on_generic_instantiations_5: Crash
 inference/infer_types_on_generic_instantiations_in_library_cycle: Crash
 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_use_of_void_local: 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
-inference/inferred_type_block_closure_no_args_no_return: Crash
 inference/inferred_type_block_closure_no_args_no_return_void_context: Crash
 inference/inferred_type_cascade: Crash
 inference/inferred_type_custom_binary_op: Crash
 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
@@ skipping 15 matching lines @@
 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/int_upwards_local: Crash
 inference/lambda_does_not_have_propagated_type_hint: Crash
-inference/lambda_return_type: Crash
 inference/lambda_void_context: Crash
 inference/list_literal_typed: Crash
 inference/list_literals: Crash
 inference/list_literals_can_infer_null_bottom: Crash
 inference/list_literals_top_level: Crash
 inference/local_constructor_from_arguments: Crash
-inference/local_reference_upwards_local: Crash
 inference/local_return_and_yield: Crash
 inference/map_literals: Crash
 inference/map_literals_can_infer_null: Crash
 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
 inference/null_coalescing_operator: Crash
 inference/null_coalescing_operator_2: Crash
 inference/null_literal_should_not_infer_as_bottom: Crash
 inference/overloaded_int_operators: Crash
 inference/parameter_defaults_downwards: Crash
 inference/parameter_defaults_upwards: Crash
 inference/propagate_inference_to_field_in_class: Crash
 inference/propagate_inference_to_field_in_class_dynamic_warnings: Crash
 inference/propagate_inference_transitively2: Crash
 inference/propagate_inference_transitively: Crash
-inference/propagate_variable_get: 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
 inference/super_method_invocation: Crash
 inference/super_property_get: Crash
 inference/super_property_get_invoke_function_typed: Crash
 inference/super_property_get_invoke_implicit_call: Crash
 inference/super_property_get_tearoff: Crash
 inference/switch_continue: Crash
-inference/symbol_literal: 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
 inference/try_finally: Crash
 inference/type_cast: Crash
 inference/type_promotion_ignores_local_functions: Crash
 inference/type_promotion_not_and_not: Crash
 inference/type_promotion_simple: Crash
 inference/type_promotion_stopped_by_access_in_a_closure: Crash
 inference/type_promotion_stopped_by_assignment_in_scope: Crash
 inference/type_promotion_stopped_by_mutation_in_a_closure: Crash
 inference/unresolved_super: Crash
 inference/unsafe_block_closure_inference_closure_call: Crash
 inference/unsafe_block_closure_inference_constructor_call_explicit_dynamic_param: Crash
 inference/unsafe_block_closure_inference_constructor_call_explicit_type_param: Crash
 inference/unsafe_block_closure_inference_constructor_call_implicit_type_param: Crash
 inference/unsafe_block_closure_inference_constructor_call_no_type_param: Crash
 inference/unsafe_block_closure_inference_function_call_explicit_dynamic_param: Crash
 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: Crash
 inference/unsafe_block_closure_inference_function_call_explicit_type_param: Crash
 inference/unsafe_block_closure_inference_function_call_explicit_type_param_via_expr1: Fail
 inference/unsafe_block_closure_inference_function_call_explicit_type_param_via_expr2: Crash
 inference/unsafe_block_closure_inference_function_call_implicit_type_param: Crash
 inference/unsafe_block_closure_inference_function_call_implicit_type_param_via_expr: Crash
-inference/unsafe_block_closure_inference_function_call_no_type_param: Crash
 inference/unsafe_block_closure_inference_function_call_no_type_param_via_expr: Crash
 inference/unsafe_block_closure_inference_in_list_dynamic: Crash
 inference/unsafe_block_closure_inference_in_list_typed: Crash
-inference/unsafe_block_closure_inference_in_list_untyped: Crash
 inference/unsafe_block_closure_inference_in_map_dynamic: Crash
 inference/unsafe_block_closure_inference_in_map_typed: Crash
-inference/unsafe_block_closure_inference_in_map_untyped: Crash
 inference/unsafe_block_closure_inference_method_call_explicit_dynamic_param: Crash
 inference/unsafe_block_closure_inference_method_call_explicit_type_param: Crash
 inference/unsafe_block_closure_inference_method_call_implicit_type_param: Crash
 inference/unsafe_block_closure_inference_method_call_no_type_param: Crash
 inference/void_return_type_subtypes_dynamic: Crash
 inference_new/dependency_only_if_generic_method: Crash
 inference_new/dependency_only_if_overloaded: Crash
-inference_new/do_loop: Crash
 inference_new/downwards_inference_inside_top_level: Crash
 inference_new/downwards_inference_inside_top_level_2: Crash
 inference_new/field_inference_circularity: Crash
 inference_new/infer_assign_to_index: Crash
 inference_new/infer_assign_to_property: Crash
 inference_new/infer_assign_to_property_custom: Crash
 inference_new/infer_assign_to_ref: Crash
 inference_new/infer_instance_accessor_ref: Crash
 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
 inference_new/unsafe_block_closure_inference_function_call_explicit_dynamic_param_via_expr2: Crash
 inference_new/unsafe_block_closure_inference_function_call_explicit_type_param_via_expr2: Crash
 inference_new/void_return_type_subtypes_dynamic: Crash
-inference_new/while_loop: Crash
 invocations: Crash
 map: Crash
 micro: Crash
 mixin: Crash
 named_parameters: Crash
 null_aware: Crash
 operators: Crash
 optional: Crash
 override: Crash
 prefer_baseclass: Crash
@@ skipping 35 matching lines @@
 rasta/issue_000048: Crash
 rasta/issue_000052: Crash
 rasta/issue_000053: Crash
 rasta/issue_000067: Crash
 rasta/issue_000068: Crash
 rasta/issue_000069: Crash
 rasta/issue_000070: Crash
 rasta/issue_000080: Crash
 rasta/issue_000081: Crash
 rasta/malformed_function: Crash
-rasta/malformed_function_type: Crash
 rasta/mandatory_parameter_initializer: VerificationError
 rasta/mixin_library: Crash
 rasta/previsit_deferred: Crash
 rasta/static: Crash
 rasta/super: Crash
 rasta/super_initializer: Crash
 rasta/super_mixin: Crash
 rasta/super_operator: Crash
 rasta/supports_reflection: Crash
 rasta/switch_execution_case_t02: Crash
@@ skipping 28 matching lines @@
 static_setter: Crash
 store_load: Crash
 stringliteral: Crash
 super_rasta_copy: Crash
 top_level_accessors: Crash
 type_variable_as_super: Crash
 typedef: Crash
 uninitialized_fields: Crash
 unused_methods: Crash
 void-methods: Crash