Implement AstBuilder integration for instance creation expressions.

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 a5bd48dcafdb426f62662635d7df8b33be44d009..ef5198c6a11e75110c096a5c1757f0355d6389eb 100644
--- a/pkg/front_end/testcases/ast_builder.status
+++ b/pkg/front_end/testcases/ast_builder.status
@@ -15,7 +15,6 @@ casts: Crash
 classes: Crash
 closure: Crash
 covariant_generic: Crash
-cycles: Crash
 default_values: Crash
 escape: Crash
 expressions: Crash
@@ -53,12 +52,9 @@ inference/conditional_lub: Crash
 inference/conditional_upwards_inference: Crash
 inference/conflicts_can_happen2: Crash
 inference/conflicts_can_happen: Crash
-inference/constructors_downwards_with_constraint: Crash
 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
@@ -108,7 +104,6 @@ inference/for_in_loop_promotion: Crash
 inference/for_loop_empty_condition: Crash
 inference/for_loop_initializer_expression: Crash
 inference/for_loop_promotion: Crash
-inference/future_or_subtyping: Crash
 inference/future_then: Crash
 inference/future_then_2: Crash
 inference/future_then_3: Crash
@@ -138,16 +133,14 @@ 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_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_generic_method_type: Fail
 inference/generic_methods_infer_js_builtin: Fail
 inference/generic_methods_inference_error: Crash
 inference/generic_methods_iterable_and_future: Crash
@@ -212,17 +205,14 @@ inference/infer_from_variables_in_non_cycle_imports_with_flag: 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_getter_cross_to_setter: Fail
 inference/infer_getter_from_later_inferred_getter: Fail
 inference/infer_list_literal_nested_in_map_literal: Crash
 inference/infer_local_function_referenced_before_declaration: Crash
 inference/infer_local_function_return_type: Crash
-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_custom: Crash
 inference/infer_rethrow: Crash
 inference/infer_return_of_statement_lambda: Crash
 inference/infer_setter_cross_to_getter: Fail
@@ -257,17 +247,13 @@ inference/infer_types_on_loop_indices_for_loop_with_inference: 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_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_extract_method_tear_off: Crash
 inference/inferred_type_extract_method_tear_off_via_interface: 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
@@ -278,25 +264,16 @@ 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_invoke_constructor_no_bound: Crash
-inference/instantiate_to_bounds_invoke_constructor_type_args_exact: Crash
 inference/lambda_does_not_have_propagated_type_hint: 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_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/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
@@ -338,10 +315,6 @@ 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
@@ -358,12 +331,9 @@ 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
-inference_new/dependency_only_if_generic_method: Crash
 inference_new/dependency_only_if_overloaded: 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
@@ -373,31 +343,23 @@ 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/infer_use_of_void: Fail
 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
 invocations: Crash
-map: Crash
 micro: Crash
-mixin: Crash
 named_parameters: Crash
 null_aware: Crash
 operators: Crash
 optional: Crash
 override: Crash
-prefer_baseclass: Crash
 rasta/abstract_constructor: Crash
-rasta/bad_constructor_redirection: Crash
 rasta/bad_continue: Crash
 rasta/bad_default_constructor: Crash
-rasta/bad_explicit_super_constructor: Crash
-rasta/bad_implicit_super_constructor: Crash
 rasta/bad_redirection: Crash
-rasta/bad_setter_initializer: Crash
 rasta/breaking_bad: Crash
 rasta/cascades: Crash
 rasta/class_hierarchy: Crash
@@ -405,21 +367,17 @@ rasta/class_member: Crash
 rasta/constant_get_and_invoke: Crash
 rasta/deferred_load: Crash
 rasta/duplicated_mixin: Crash
-rasta/external_factory_redirection: Crash
 rasta/for_loop: Crash
 rasta/generic_factory: Crash
 rasta/issue_000001: Crash
 rasta/issue_000002: Crash
 rasta/issue_000004: Crash
-rasta/issue_000006: Crash
-rasta/issue_000007: Crash
 rasta/issue_000008: Crash
 rasta/issue_000012: Crash
 rasta/issue_000025: Crash
 rasta/issue_000026: Crash
 rasta/issue_000031: Crash
 rasta/issue_000033: Crash
-rasta/issue_000034: Crash
 rasta/issue_000039: Crash
 rasta/issue_000041: Crash
 rasta/issue_000042: Crash
@@ -443,7 +401,7 @@ rasta/super: Crash
 rasta/super_initializer: Crash
 rasta/super_mixin: Crash
 rasta/super_operator: Crash
-rasta/supports_reflection: Crash
+rasta/supports_reflection: VerificationError
 rasta/switch_execution_case_t02: Crash
 rasta/switch_fall_through: Crash
 rasta/this_invoke: Crash
@@ -454,7 +412,6 @@ rasta/unresolved: Crash
 rasta/unresolved_constructor: Crash
 rasta/unresolved_for_in: Crash
 rasta/unresolved_recovery: Crash
-redirecting_constructor: Crash
 redirecting_factory: Crash
 regress/issue_29937: Crash
 regress/issue_29940: Crash