Update status and expectations.

R=johnniwinther@google.com

Review-Url: https://codereview.chromium.org/2900753002 .

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

pkg/front_end/testcases/inference/assign_local.dart.dartk.expect

@@ -0,0 +1,19 @@
+library test;
+import self as self;
+import "dart:core" as core;
+
+class A<T extends core::Object> extends core::Object {
+  constructor •() → void
+    : super core::Object::•()
+    ;
+}
+class B<T extends core::Object> extends self::A<self::B::T> {
+  constructor •() → void
+    : super self::A::•()
+    ;
+}
+static method main() → dynamic {
+  core::num x;
+  dynamic x1 = x = 1;
+  dynamic x2 = x = 1.0;
+}

pkg/front_end/testcases/inference/coerce_bottom_and_null_types.dart.dartk.expect

@@ -0,0 +1,21 @@
+library test;
+import self as self;
+
+static method f() → dynamic {
+  dynamic a = 0;
+  dynamic b = null;
+  dynamic c = throw "foo";
+  dynamic d = () → dynamic => 0;
+  dynamic e = () → dynamic => null;
+  dynamic f = () → dynamic => throw "foo";
+  dynamic g = () → dynamic {
+    return 0;
+  };
+  dynamic h = () → dynamic {
+    return null;
+  };
+  dynamic i = () → dynamic {
+    return throw "foo";
+  };
+}
+static method main() → dynamic {}

pkg/front_end/testcases/inference/constructors_downwards_with_constraint.dart.dartk.expect

@@ -0,0 +1,22 @@
+library test;
+import self as self;
+import "dart:core" as core;
+
+class A extends core::Object {
+  constructor •() → void
+    : super core::Object::•()
+    ;
+}
+class B extends self::A {
+  constructor •() → void
+    : super self::A::•()
+    ;
+}
+class Foo<T extends self::A> extends core::Object {
+  constructor •() → void
+    : super core::Object::•()
+    ;
+}
+static method main() → void {
+  self::Foo<dynamic> foo = throw new core::NoSuchMethodError::•(null, #Foo, <dynamic>[], <dynamic, dynamic>{}, null);
+}

pkg/front_end/testcases/inference/constructors_too_many_positional_arguments.dart.dartk.expect

@@ -0,0 +1,12 @@
+library test;
+import self as self;
+import "dart:core" as core;
+
+class A<T extends core::Object> extends core::Object {
+  constructor •() → void
+    : super core::Object::•()
+    ;
+}
+static method main() → dynamic {
+  dynamic a = throw new core::NoSuchMethodError::•(null, #A, <dynamic>[42], <dynamic, dynamic>{}, null);
+}

pkg/front_end/testcases/inference/dont_infer_type_when_initializer_is_null.dart.dartk.expect

@@ -0,0 +1,11 @@
+library test;
+import self as self;
+
+static method test() → dynamic {
+  dynamic x = null;
+  x = "hi";
+  x = 3;
+}
+static method main() → dynamic {
+  self::test();
+}

pkg/front_end/testcases/inference/downwards_inference_assignment_statements.dart.dartk.expect

@@ -0,0 +1,9 @@
+library test;
+import self as self;
+import "dart:core" as core;
+
+static method main() → void {
+  core::List<dynamic> l;
+  l = <dynamic>["hello"];
+  l = l = <dynamic>[1];
+}

pkg/front_end/testcases/inference/downwards_inference_for_each.dart.dartk.expect

@@ -0,0 +1,15 @@
+library test;
+import self as self;
+import "dart:core" as core;
+import "dart:async" as asy;
+
+abstract class MyStream<T extends core::Object> extends asy::Stream<self::MyStream::T> {
+  static factory •<T extends core::Object>() → dynamic
+    return null;
+}
+static method main() → asy::Future<dynamic> {
+  for (core::int x in <dynamic>[1, 2, 3]) {
+  }
+  await for (core::int x in throw new core::NoSuchMethodError::•(null, #MyStream, <dynamic>[], <dynamic, dynamic>{}, null)) {
+  }
+}

pkg/front_end/testcases/inference/downwards_inference_yield_yield_star.dart.dartk.expect

@@ -0,0 +1,21 @@
+library test;
+import self as self;
+import "dart:core" as core;
+import "dart:async" as asy;
+
+abstract class MyStream<T extends core::Object> extends asy::Stream<self::MyStream::T> {
+  static factory •<T extends core::Object>() → dynamic
+    return null;
+}
+static method foo() → asy::Stream<core::List<core::int>> {
+  yield<dynamic>[];
+  yield throw new core::NoSuchMethodError::•(null, #MyStream, <dynamic>[], <dynamic, dynamic>{}, null);
+  yield*<dynamic>[];
+  yield* throw new core::NoSuchMethodError::•(null, #MyStream, <dynamic>[], <dynamic, dynamic>{}, null);
+}
+static method bar() → core::Iterable<core::Map<core::int, core::int>> {
+  yield<dynamic, dynamic>{};
+  yield throw new core::NoSuchMethodError::•(null, #List, <dynamic>[], <dynamic, dynamic>{}, null);
+  yield*<dynamic, dynamic>{};
+  yield* throw new core::NoSuchMethodError::•(null, #List, <dynamic>[], <dynamic, dynamic>{}, null);
+}

pkg/front_end/testcases/inference/future_union_downwards_generic_method_with_future_return.dart.dartk.expect

@@ -0,0 +1,15 @@
+library test;
+import self as self;
+import "dart:core" as core;
+import "dart:async" as asy;
+
+class A extends core::Object {
+  constructor •() → void
+    : super core::Object::•()
+    ;
+}
+static method foo() → dynamic {
+  asy::Future<dynamic> f1 = null;
+  asy::Future<dynamic> f2 = null;
+  core::List<dynamic> merged = await throw new core::NoSuchMethodError::•(null, #wait, <dynamic>[<dynamic>[f1, f2]], <dynamic, dynamic>{}, null);
+}

pkg/front_end/testcases/inference/future_union_upwards_generic_methods.dart.dartk.expect

@@ -0,0 +1,28 @@
+library test;
+import self as self;
+import "dart:core" as core;
+
+class A extends core::Object {
+  constructor •() → void
+    : super core::Object::•()
+    ;
+}
+class B extends self::A {
+  constructor •() → void
+    : super self::A::•()
+    ;
+}
+class C extends self::A {
+  constructor •() → void
+    : super self::A::•()
+    ;
+}
+static method main() → dynamic {
+  dynamic b = throw new core::NoSuchMethodError::•(null, #Future<B>.value, <dynamic>[throw new core::NoSuchMethodError::•(null, #B, <dynamic>[], <dynamic, dynamic>{}, null)], <dynamic, dynamic>{}, null);
+  dynamic c = throw new core::NoSuchMethodError::•(null, #Future<C>.value, <dynamic>[throw new core::NoSuchMethodError::•(null, #C, <dynamic>[], <dynamic, dynamic>{}, null)], <dynamic, dynamic>{}, null);
+  dynamic lll = <dynamic>[b, c];
+  dynamic result = await throw new core::NoSuchMethodError::•(null, #wait, <dynamic>[lll], <dynamic, dynamic>{}, null);
+  dynamic result2 = await throw new core::NoSuchMethodError::•(null, #wait, <dynamic>[<dynamic>[b, c]], <dynamic, dynamic>{}, null);
+  core::List<dynamic> list = result;
+  list = result2;
+}

pkg/front_end/testcases/inference/generic_methods_infer_js_builtin.dart.dartk.expect

@@ -0,0 +1,5 @@
+library;
+import self as self;
+
+static method main() → dynamic
+  throw "lib/_internal/js_runtime/lib/foreign_helper.dart: \u0027[31mError: No such file or directory\u0027[39;49m";

pkg/front_end/testcases/inference/infer_type_on_var.dart.dartk.expect

@@ -0,0 +1,11 @@
+library test;
+import self as self;
+import "dart:core" as core;
+
+static method test1() → dynamic {
+  core::int x = 3;
+  x = "hi";
+}
+static method main() → dynamic {
+  self::test1();
+}

pkg/front_end/testcases/inference/infer_type_on_var2.dart.dartk.expect

@@ -0,0 +1,10 @@
+library test;
+import self as self;
+
+static method test2() → dynamic {
+  dynamic x = 3;
+  x = "hi";
+}
+static method main() → dynamic {
+  self::test2();
+}

pkg/front_end/testcases/inference/infer_type_regardless_of_declaration_order_or_cycles.dart.dartk.expect

@@ -0,0 +1,26 @@
+library test;
+import self as self;
+import "./infer_type_regardless_of_declaration_order_or_cycles_b.dart" as inf;
+import "dart:core" as core;
+
+class C extends inf::B {
+  constructor •() → void
+    : super inf::B::•()
+    ;
+  get x() → dynamic
+    return null;
+}
+class A extends core::Object {
+  constructor •() → void
+    : super core::Object::•()
+    ;
+  get x() → core::int
+    return 0;
+}
+static method foo() → dynamic {
+  core::int y = (throw new core::NoSuchMethodError::•(null, #C, <dynamic>[], <dynamic, dynamic>{}, null)).x;
+  core::String z = (throw new core::NoSuchMethodError::•(null, #C, <dynamic>[], <dynamic, dynamic>{}, null)).x;
+}
+static method main() → dynamic {
+  self::foo();
+}

pkg/front_end/testcases/inference/infer_type_regardless_of_declaration_order_or_cycles_b.dart.dartk.expect

@@ -0,0 +1,10 @@
+library;
+import self as self;
+import "./infer_type_regardless_of_declaration_order_or_cycles.dart" as test;
+
+class B extends test::A {
+  constructor •() → void
+    : super test::A::•()
+    ;
+}
+static method main() → dynamic {}

pkg/front_end/testcases/inference/infer_types_on_loop_indices_for_loop_with_inference.dart.dartk.expect

@@ -0,0 +1,9 @@
+library test;
+import self as self;
+import "dart:core" as core;
+
+static method test() → dynamic {
+  for (dynamic i = 0; i.<(10); i = i.+(1)) {
+    core::int j = i.+(1);
+  }
+}

pkg/front_end/testcases/inference/inferred_type_block_closure_no_args_no_return.dart.dartk.expect

@@ -0,0 +1,6 @@
+library test;
+import self as self;
+
+static method main() → dynamic {
+  dynamic f = () → dynamic {};
+}

pkg/front_end/testcases/inference/instantiate_to_bounds_invoke_constructor_no_bound.dart.dartk.expect

@@ -0,0 +1,12 @@
+library test;
+import self as self;
+import "dart:core" as core;
+
+class C<T extends core::Object> extends core::Object {
+  constructor •() → void
+    : super core::Object::•()
+    ;
+}
+static method main() → dynamic {
+  dynamic v = throw new core::NoSuchMethodError::•(null, #C, <dynamic>[], <dynamic, dynamic>{}, null);
+}

pkg/front_end/testcases/inference/list_literals.dart.dartk.expect

@@ -0,0 +1,21 @@
+library test;
+import self as self;
+import "dart:core" as core;
+
+static method test1() → dynamic {
+  dynamic x = <dynamic>[1, 2, 3];
+  x.add("hi");
+  x.add(4.0);
+  x.add(4);
+  core::List<dynamic> y = x;
+}
+static method test2() → dynamic {
+  dynamic x = <dynamic>[1, 2.0, 3];
+  x.add("hi");
+  x.add(4.0);
+  core::List<dynamic> y = x;
+}
+static method main() → dynamic {
+  self::test1();
+  self::test2();
+}

pkg/front_end/testcases/inference/list_literals_can_infer_null_bottom.dart.dartk.expect

@@ -0,0 +1,10 @@
+library test;
+import self as self;
+
+static method test1() → dynamic {
+  dynamic x = <dynamic>[null];
+  x.add(42);
+}
+static method main() → dynamic {
+  self::test1();
+}

pkg/front_end/testcases/inference/map_literals.dart.dartk.expect

@@ -0,0 +1,22 @@
+library test;
+import self as self;
+import "dart:core" as core;
+
+static method test1() → dynamic {
+  dynamic x = <dynamic, dynamic>{1: "x", 2: "y"};
+  x.[]=(3, "z");
+  x.[]=("hi", "w");
+  x.[]=(4.0, "u");
+  x.[]=(3, 42);
+  core::Map<dynamic, dynamic> y = x;
+}
+static method test2() → dynamic {
+  dynamic x = <dynamic, dynamic>{1: "x", 2: "y", 3.0: throw new core::NoSuchMethodError::•(null, #RegExp, <dynamic>["."], <dynamic, dynamic>{}, null)};
+  x.[]=(3, "z");
+  x.[]=("hi", "w");
+  x.[]=(4.0, "u");
+  x.[]=(3, 42);
+  core::Pattern p = null;
+  x.[]=(2, p);
+  core::Map<dynamic, dynamic> y = x;
+}

pkg/front_end/testcases/inference/map_literals_can_infer_null.dart.dartk.expect

@@ -0,0 +1,7 @@
+library test;
+import self as self;
+
+static method test1() → dynamic {
+  dynamic x = <dynamic, dynamic>{null: null};
+  x.[]=(3, "z");
+}

pkg/front_end/testcases/inference/no_error_when_declared_type_is_num_and_assigned_null.dart.dartk.expect

@@ -0,0 +1,11 @@
+library test;
+import self as self;
+import "dart:core" as core;
+
+static method test1() → dynamic {
+  core::num x = 3;
+  x = null;
+}
+static method main() → dynamic {
+  self::test1();
+}

pkg/front_end/testcases/inference/null_coalescing_operator.dart.dartk.expect

@@ -0,0 +1,9 @@
+library test;
+import self as self;
+import "dart:core" as core;
+
+static method main() → dynamic {
+  core::List<dynamic> x;
+  dynamic y = x.==(null) ? <dynamic>[] : x;
+  core::List<dynamic> z = y;
+}

pkg/front_end/testcases/inference/null_coalescing_operator_2.dart.dartk.expect

@@ -0,0 +1,8 @@
+library test;
+import self as self;
+import "dart:core" as core;
+
+static method main() → dynamic {
+  core::List<dynamic> x;
+  core::List<dynamic> y = x.==(null) ? <dynamic>[] : x;
+}

pkg/front_end/testcases/inference/unsafe_block_closure_inference_in_list_untyped.dart.dartk.expect

@@ -0,0 +1,8 @@
+library test;
+import self as self;
+
+static method main() → dynamic {
+  dynamic v = <dynamic>[() → dynamic {
+    return 1;
+  }];
+}

pkg/front_end/testcases/inference/unsafe_block_closure_inference_in_map_untyped.dart.dartk.expect

@@ -0,0 +1,8 @@
+library test;
+import self as self;
+
+static method main() → dynamic {
+  dynamic v = <dynamic, dynamic>{1: () → dynamic {
+    return 1;
+  }};
+}

tests/language/language_kernel.status

@@ -150,7 +150,6 @@ ref_before_declaration_test/06: MissingCompileTimeError
 ref_before_declaration_test/07: MissingCompileTimeError
 regress_13494_test: CompileTimeError
 regress_22438_test: RuntimeError
-regress_29243_test: DartkCrash
 scope_variable_test/01: MissingCompileTimeError
 static_field3_test/03: CompileTimeError
 static_field3_test/04: CompileTimeError