Update status and expectations.

pkg/front_end/test/fasta/kompile.status

Index: pkg/front_end/test/fasta/kompile.status
diff --git a/pkg/front_end/test/fasta/kompile.status b/pkg/front_end/test/fasta/kompile.status
index 291e6e3ddbb32ebe4c892bd46649be6ab477af45..abdf0d800eccde3ac6dc0cba19308de67d631ea4 100644
--- a/pkg/front_end/test/fasta/kompile.status
+++ b/pkg/front_end/test/fasta/kompile.status
@@ -27,6 +27,7 @@ fallthrough: Crash
 fibonacci: Crash
 for_in_scope: Crash
 function_in_field: Crash
+function_type_is_check: Crash
 function_type_recovery: Fail
 functions: Crash
 implicit_scope_test: Crash
@@ -49,23 +50,282 @@ store_load: Crash
 stringliteral: Crash
 super_rasta_copy: Crash
 top_level_accessors: Crash
-inference/toplevel_inference_toplevel_var: Crash
 type_variable_as_super: Fail
 typedef: Crash
 uninitialized_fields: Crash
 unused_methods: Crash
 void-methods: Crash
 
-inference/*: Crash, Fail
-inference/conditional_lub: Pass
-inference/int_upwards_local: Pass
-inference/local_reference_upwards_local: Pass
-inference/overloaded_int_operators: Pass
-inference/propagate_variable_get: Pass
-inference/type_promotion_simple: Pass
-inference/type_promotion_stopped_by_access_in_a_closure: Pass
-inference/type_promotion_stopped_by_assignment_in_scope: Pass
-inference/type_promotion_stopped_by_mutation_in_a_closure: Pass
+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
+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: Crash
+inference/block_bodied_lambdas_infer_bottom_async_star: Crash
+inference/block_bodied_lambdas_infer_bottom_sync: Crash
+inference/block_bodied_lambdas_infer_bottom_sync_star: Crash
+inference/block_bodied_lambdas_lub: Crash
+inference/block_bodied_lambdas_nested_lambdas: Crash
+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/circular_reference_via_closures: Crash
+inference/circular_reference_via_closures_initializer_types: Crash
+inference/conditional_lub: Crash
+inference/conflicts_can_happen2: Crash
+inference/conflicts_can_happen: Crash
+inference/constructors_downwards_with_constraint: Fail
+inference/constructors_infer_from_arguments: Crash
+inference/constructors_infer_from_arguments_argument_not_assignable: Crash
+inference/constructors_infer_from_arguments_const: Crash
+inference/constructors_infer_from_arguments_const_with_upper_bound: Crash
+inference/constructors_infer_from_arguments_downwards_from_constructor: Crash
+inference/constructors_infer_from_arguments_factory: Crash
+inference/constructors_infer_from_arguments_factory_calls_constructor: Crash
+inference/constructors_infer_from_arguments_named: Crash
+inference/constructors_infer_from_arguments_named_factory: Crash
+inference/constructors_infer_from_arguments_redirecting: Crash
+inference/constructors_infer_from_arguments_redirecting_factory: Crash
+inference/constructors_inference_f_bounded: Crash
+inference/constructors_reverse_type_parameters: Crash
+inference/constructors_too_many_positional_arguments: Fail
+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/downward_inference_fixes_no_upwards_errors: Crash
+inference/downward_inference_miscellaneous: Crash
+inference/downwards_inference_annotations: Crash
+inference/downwards_inference_async_await: Crash
+inference/downwards_inference_for_each: Fail
+inference/downwards_inference_initializing_formal_default_formal: Crash
+inference/downwards_inference_inside_top_level: Crash
+inference/downwards_inference_on_constructor_arguments_infer_downwards: Crash
+inference/downwards_inference_on_function_arguments_infer_downwards: Crash
+inference/downwards_inference_on_function_expressions: Crash
+inference/downwards_inference_on_function_of_t_using_the_t: Crash
+inference/downwards_inference_on_generic_constructor_arguments_empty_list: Crash
+inference/downwards_inference_on_generic_constructor_arguments_infer_downwards: Crash
+inference/downwards_inference_on_generic_function_expressions: Crash
+inference/downwards_inference_on_instance_creations_infer_downwards: Crash
+inference/downwards_inference_on_list_literals_infer_downwards: Crash
+inference/downwards_inference_on_list_literals_infer_if_value_types_match_context: Crash
+inference/downwards_inference_on_map_literals: Crash
+inference/downwards_inference_yield_yield_star: Fail
+inference/field_refers_to_static_getter: Crash
+inference/field_refers_to_top_level_getter: Crash
+inference/future_or_subtyping: Crash
+inference/future_then: Crash
+inference/future_then_2: Crash
+inference/future_then_3: Crash
+inference/future_then_4: Crash
+inference/future_then_5: Crash
+inference/future_then_6: Crash
+inference/future_then_conditional: Crash
+inference/future_then_conditional_2: Crash
+inference/future_then_conditional_3: Crash
+inference/future_then_conditional_4: Crash
+inference/future_then_conditional_5: Crash
+inference/future_then_conditional_6: Crash
+inference/future_then_downwards_method_target: Crash
+inference/future_then_explicit_future: Crash
+inference/future_then_upwards: Crash
+inference/future_then_upwards_2: Crash
+inference/future_then_upwards_3: Crash
+inference/future_then_upwards_from_block: Crash
+inference/future_union_async_conditional: Crash
+inference/future_union_async_conditional_2: Crash
+inference/future_union_downwards: Crash
+inference/future_union_downwards_2: Crash
+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: Crash
+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: Crash
+inference/generic_methods_infer_generic_function_parameter_type: Crash
+inference/generic_methods_infer_generic_function_return_type: Crash
+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
+inference/generic_methods_nested_generic_instantiation: Crash
+inference/generic_methods_uses_greatest_lower_bound: Crash
+inference/infer_assign_to_index: Crash
+inference/infer_assign_to_property: Crash
+inference/infer_assign_to_property_custom: Crash
+inference/infer_assign_to_ref: Crash
+inference/infer_binary_custom: Crash
+inference/infer_binary_double_double: Crash
+inference/infer_binary_double_int: Crash
+inference/infer_binary_int_double: Crash
+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_from_complex_expressions_if_outer_most_value_is_precise: Crash
+inference/infer_from_rhs_only_if_it_wont_conflict_with_overridden_fields2: Crash
+inference/infer_from_rhs_only_if_it_wont_conflict_with_overridden_fields: Crash
+inference/infer_from_variables_in_cycle_libs_when_flag_is_on2: Crash
+inference/infer_from_variables_in_cycle_libs_when_flag_is_on2_a: Crash
+inference/infer_from_variables_in_cycle_libs_when_flag_is_on: Crash
+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
+inference/infer_generic_method_type_required: Crash
+inference/infer_list_literal_nested_in_map_literal: Crash
+inference/infer_local_function_return_type: Crash
+inference/infer_parameter_type_setter_from_field: Crash
+inference/infer_parameter_type_setter_from_setter: Crash
+inference/infer_prefix_expression: Crash
+inference/infer_prefix_expression_custom: Crash
+inference/infer_return_of_statement_lambda: Crash
+inference/infer_statics_transitively2: Crash
+inference/infer_statics_transitively3: Crash
+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_type_on_overridden_fields2: Crash
+inference/infer_type_on_overridden_fields4: Crash
+inference/infer_type_on_var_from_field: Crash
+inference/infer_type_on_var_from_top_level: Crash
+inference/infer_type_regardless_of_declaration_order_or_cycles: Fail
+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: Fail
+inference/infer_use_of_void: 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_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
+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: Fail
+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_return_type: Crash
+inference/lambda_void_context: Crash
+inference/list_literal_typed: Crash
+inference/list_literals_can_infer_null_top_level: Crash
+inference/list_literals_top_level: Crash
+inference/local_constructor_from_arguments: Crash
+inference/map_literals: Fail
+inference/map_literals_can_infer_null: Fail
+inference/map_literals_can_infer_null_top_level: 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/null_literal_should_not_infer_as_bottom: 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/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/toplevel_inference_toplevel_var: Crash
+inference/type_cast: Crash
+inference/type_promotion_ignores_local_functions: 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: Crash
+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: Crash
+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_map_dynamic: Crash
+inference/unsafe_block_closure_inference_in_map_typed: 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
 
 rasta/abstract_constructor: Fail
 rasta/bad_constructor_redirection: Crash