dart2js cps: Support function types in 'is' and 'as' operators.

tests/language/language_dart2js.status

Index: tests/language/language_dart2js.status
diff --git a/tests/language/language_dart2js.status b/tests/language/language_dart2js.status
index a1257ebcaf0a99dc215d2141736e3d39b4c77faf..cb2b32c1dddccd024aa235a5320d195035fa1c8e 100644
--- a/tests/language/language_dart2js.status
+++ b/tests/language/language_dart2js.status
@@ -241,15 +241,6 @@ generic_field_mixin5_test: Crash # Issue 18651
 
 [ $compiler == dart2js && $cps_ir ]
 aborting_switch_case_test: Crash # (switch (42){case 42:foo();foo();break;}): Unhandled node
-abstract_getter_test/01: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-abstract_runtime_error_test/01: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-abstract_runtime_error_test/02: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-arithmetic_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-assign_to_type_test/01: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-assign_to_type_test/02: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-assign_to_type_test/03: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-assign_to_type_test/04: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-assign_top_method_test/01: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 async_and_or_test: Crash # (test()async{await test1();await test2();}): cannot handle async/sync*/async* functions
 async_await_catch_regression_test: Crash # (test()async{var exc...  cannot handle async/sync*/async* functions
 async_await_syntax_test/a01a: Crash # (a01a()async=>null;): cannot handle async/sync*/async* functions
@@ -358,81 +349,15 @@ await_not_started_immediately_test: Crash # (foo()async{x++ ;await 1;x++ ;}): ca
 await_postfix_expr_test: Crash # (test()async{Expect....  cannot handle async/sync*/async* functions
 await_regression_test: Crash # (main()async{testNes...  cannot handle async/sync*/async* functions
 await_test: Crash # (others()async{var a...  cannot handle async/sync*/async* functions
-bool_check_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-call_closurization_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-call_nonexistent_static_test/01: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-call_nonexistent_static_test/02: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-call_nonexistent_static_test/03: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-call_nonexistent_static_test/04: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-call_nonexistent_static_test/05: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-call_nonexistent_static_test/06: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-call_nonexistent_static_test/07: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-call_nonexistent_static_test/08: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-call_nonexistent_static_test/09: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-call_nonexistent_static_test/10: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-call_nonexistent_static_test/none: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-call_property_test: Crash # Instance of 'TypeOperator': type check unimplemented for F.
-call_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-call_through_null_getter_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-call_type_literal_test/01: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-cascade2_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 cha_deopt1_test: RuntimeError # V.loadLibrary is not a function
 cha_deopt2_test: RuntimeError # R.loadLibrary is not a function
 cha_deopt3_test: RuntimeError # K.loadLibrary is not a function
-checked_null_test/01: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-checked_setter2_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-checked_setter3_test/01: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-checked_setter3_test/02: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-checked_setter3_test/none: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-checked_setter_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-class_literal_test/01: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-class_literal_test/02: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-class_literal_test/03: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-class_literal_test/04: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-class_literal_test/05: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-class_literal_test/06: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-class_literal_test/07: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-class_literal_test/08: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-class_literal_test/09: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-class_literal_test/10: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-class_literal_test/11: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-class_literal_test/12: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-class_literal_test/13: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-class_literal_test/14: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-class_literal_test/15: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-class_literal_test/16: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-class_literal_test/17: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-class_literal_test/18: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-class_literal_test/19: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-class_literal_test/20: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-class_literal_test/21: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-class_literal_test/22: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-class_literal_test/23: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-class_literal_test/24: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-class_literal_test/25: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 class_override_test/00: Crash # (try {instance.foo();}on NoSuchMethodError catch (error){}finally {}): try/finally
 class_override_test/none: Crash # (try {instance.foo();}finally {}): try/finally
-closure3_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 closure_in_constructor_test: Crash # Invalid argument(s)
-closure_internals_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 closure_self_reference_test: Crash # (try {return inner(value-1);}finally {counter++ ;}): try/finally
 closure_type_variables_test: Crash # Invalid argument(s)
-compile_time_constant_a_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-compile_time_constant_b_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-conditional_method_invocation_test/09: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-conditional_method_invocation_test/10: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-conditional_property_access_test/07: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-conditional_property_access_test/08: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-conditional_property_assignment_test/14: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-conditional_property_assignment_test/15: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-conditional_property_assignment_test/16: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-conditional_property_assignment_test/17: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-conditional_property_assignment_test/18: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-conditional_property_assignment_test/19: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-const_evaluation_test/01: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 const_nested_test: Crash # Invalid argument(s)
-const_objects_are_immutable_test/01: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-const_objects_are_immutable_test/none: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 const_switch2_test/none: Crash # (switch (a){case 1:print("OK");}): Unhandled node
 const_switch_test/01: Crash # (switch (c){case con...  Unhandled node
 const_switch_test/02: Crash # (switch (c){case con...  Unhandled node
@@ -446,16 +371,15 @@ continue_test: Crash # (switch (0){case 0:i=22;continue;default:i=25;break;}): U
 crash_12118_test: Crash # Invalid argument(s)
 crash_6725_test/01: Crash # The null object does not have a getter '_element'.
 custom_await_stack_trace_test: Crash # (main()async{try {va...  cannot handle async/sync*/async* functions
-deferred_call_empty_before_load_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 deferred_closurize_load_library_test: RuntimeError # D.loadLibrary is not a function
 deferred_constant_list_test: RuntimeError # K.loadLibrary is not a function
-deferred_constraints_constants_test/none: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-deferred_constraints_constants_test/reference_after_load: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-deferred_constraints_type_annotation_test/as_operation: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
+deferred_constraints_constants_test/none : RuntimeError # TypeError: S.loadLibrary is not a function
+deferred_constraints_constants_test/reference_after_load : RuntimeError # TypeError: G.loadLibrary is not a function
+deferred_constraints_type_annotation_test/as_operation : RuntimeError # TypeError: Z.loadLibrary is not a function
 deferred_constraints_type_annotation_test/catch_check: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-deferred_constraints_type_annotation_test/is_check: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
+deferred_constraints_type_annotation_test/is_check : RuntimeError # TypeError: L.loadLibrary is not a function
 deferred_constraints_type_annotation_test/new: RuntimeError # R.loadLibrary is not a function
-deferred_constraints_type_annotation_test/new_before_load: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
+deferred_constraints_type_annotation_test/new_before_load : RuntimeError # TypeError: K.loadLibrary is not a function
 deferred_constraints_type_annotation_test/new_generic1: RuntimeError # R.loadLibrary is not a function
 deferred_constraints_type_annotation_test/new_generic2: RuntimeError # X.loadLibrary is not a function
 deferred_constraints_type_annotation_test/new_generic3: RuntimeError # K.loadLibrary is not a function
@@ -469,35 +393,25 @@ deferred_constraints_type_annotation_test/type_annotation_generic4: RuntimeError
 deferred_constraints_type_annotation_test/type_annotation_non_deferred: RuntimeError # R.loadLibrary is not a function
 deferred_constraints_type_annotation_test/type_annotation_null: RuntimeError # Z.loadLibrary is not a function
 deferred_constraints_type_annotation_test/type_annotation_top_level: RuntimeError # U.loadLibrary is not a function
-deferred_function_type_test: Crash # Instance of 'TypeOperator': type check unimplemented for F.
+deferred_function_type_test : RuntimeError # TypeError: N.loadLibrary is not a function
 deferred_global_test: RuntimeError # Y.loadLibrary is not a function
-deferred_inheritance_constraints_test/redirecting_constructor: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 deferred_inlined_test: RuntimeError # B.loadLibrary is not a function
-deferred_load_constants_test/none: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
+deferred_load_constants_test/none : RuntimeError # Expect.throws fails: Did not throw
 deferred_load_inval_code_test: RuntimeError # O.loadLibrary is not a function
 deferred_load_library_wrong_args_test/none: RuntimeError # Y.loadLibrary is not a function
 deferred_mixin_test: RuntimeError # X.loadLibrary is not a function
 deferred_no_such_method_test: RuntimeError # D.loadLibrary is not a function
-deferred_not_loaded_check_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
+deferred_not_loaded_check_test : RuntimeError # Expect.isTrue(false) fails.
 deferred_only_constant_test: RuntimeError # O.loadLibrary is not a function
 deferred_optimized_test: RuntimeError # Q.loadLibrary is not a function
 deferred_redirecting_factory_test: Crash # (test()async{await t...  cannot handle async/sync*/async* functions
-deferred_regression_22995_test: Crash # Instance of 'TypeOperator': type check unimplemented for Ti.
+deferred_regression_22995_test : RuntimeError # TypeError: U.loadLibrary is not a function
 deferred_shadow_load_library_test: RuntimeError # Y.loadLibrary is not a function
 deferred_shared_and_unshared_classes_test: RuntimeError # U.loadLibrary is not a function
 deferred_static_seperate_test: RuntimeError # L.loadLibrary is not a function
 deopt_inlined_function_lazy_test: Crash # (try {return x+12342353257893275483274832;}finally {}): try/finally
-div_with_power_of_two2_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-double_to_string_as_exponential2_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-double_to_string_as_fixed2_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-double_to_string_as_precision2_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-dynamic_prefix_core_test/01: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-dynamic_test: Crash # Instance of 'TypeOperator': type check unimplemented for F1<int>.
 empty_block_case_test: Crash # (switch (1){case 1:{}case 2:Expect.equals(true,false);}): Unhandled node
-enum_mirror_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-enum_private_test/02: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 enum_test: Crash # (switch (e){case Enu...  Unhandled node
-equality_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 execute_finally10_test: Crash # (try {throw 'foo';}c...  try/finally
 execute_finally11_test: Crash # (try {throw 'foo';}c...  try/finally
 execute_finally12_test: Crash # (try {try {}finally {a=8;break;}}finally {return a==8;}): try/finally
@@ -510,19 +424,8 @@ execute_finally6_test: Crash # (try {try {int j;j=f...  try/finally
 execute_finally7_test: Crash # (try {var a=new List...  try/finally
 execute_finally8_test: Crash # (try {sum+= 1;return 'hi';}finally {sum+= 1;throw 'ball';sum+= 1;}): try/finally
 execute_finally9_test: Crash # (try {sum+= 1;return...  try/finally
-factory_return_type_checked_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 final_super_field_set_test/01: RuntimeError # Please triage this failure.
 finally_test: Crash # (try {i=12;}finally {Expect.equals(12,i);executedFinally=true;}): try/finally
-first_class_types_literals_test/03: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-first_class_types_literals_test/04: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-first_class_types_literals_test/05: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-first_class_types_literals_test/06: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-first_class_types_literals_test/07: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-first_class_types_literals_test/08: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-first_class_types_literals_test/09: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-first_class_types_literals_test/10: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-first_class_types_literals_test/11: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-first_class_types_literals_test/12: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 flatten_test/01: Crash # (test()async{int x=await new Derived<int>();}): cannot handle async/sync*/async* functions
 flatten_test/02: Crash # (test()async{Future<int> f()async=>new Derived<int>();}): cannot handle async/sync*/async* functions
 flatten_test/03: Crash # (test()async{Future<...  cannot handle async/sync*/async* functions
@@ -538,159 +441,35 @@ flatten_test/12: Crash # (test()async{Future<...  cannot handle async/sync*/asyn
 flatten_test/none: Crash # (test()async{}): cannot handle async/sync*/async* functions
 for2_test: Crash # The null object does not have a getter 'field'.
 for_variable_capture_test: Crash # (i=0): For-loop variable captured in loop header
-function_propagation_test: Crash # Instance of 'TypeOperator': type check unimplemented for F.
-function_subtype0_test: Crash # Instance of 'TypeOperator': type check unimplemented for t__.
-function_subtype1_test: Crash # type expression int_ (typedef)
-function_subtype2_test: Crash # Instance of 'TypeOperator': type check unimplemented for T1.
-function_subtype_bound_closure0_test: Crash # Instance of 'TypeOperator': type check unimplemented for Foo.
-function_subtype_bound_closure1_test: Crash # Instance of 'TypeOperator': type check unimplemented for Foo<bool>.
-function_subtype_bound_closure2_test: Crash # Instance of 'TypeOperator': type check unimplemented for Foo<T>.
-function_subtype_bound_closure3_test: Crash # Instance of 'TypeOperator': type check unimplemented for Foo.
-function_subtype_bound_closure4_test: Crash # Instance of 'TypeOperator': type check unimplemented for Foo.
-function_subtype_bound_closure5_test: Crash # Instance of 'TypeOperator': type check unimplemented for Foo<T>.
-function_subtype_bound_closure5a_test: Crash # Instance of 'TypeOperator': type check unimplemented for Foo<T>.
-function_subtype_bound_closure6_test: Crash # Instance of 'TypeOperator': type check unimplemented for Foo<T>.
-function_subtype_bound_closure7_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-function_subtype_call0_test: Crash # Instance of 'TypeOperator': type check unimplemented for Foo.
-function_subtype_call1_test: Crash # Instance of 'TypeOperator': type check unimplemented for Foo.
-function_subtype_call2_test: Crash # Instance of 'TypeOperator': type check unimplemented for Foo.
-function_subtype_cast0_test: Crash # Instance of 'TypeOperator': type check unimplemented for Foo.
-function_subtype_cast1_test: Crash # Instance of 'TypeOperator': type check unimplemented for Foo.
-function_subtype_cast2_test: Crash # Instance of 'TypeOperator': type check unimplemented for Foo<T>.
-function_subtype_cast3_test: Crash # Instance of 'TypeOperator': type check unimplemented for Foo<T>.
-function_subtype_checked0_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-function_subtype_closure0_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-function_subtype_closure1_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-function_subtype_factory0_test: Crash # Instance of 'TypeOperator': type check unimplemented for Foo<T>.
-function_subtype_inline0_test: Crash # Instance of 'TypeOperator': type check unimplemented for Foo.
-function_subtype_local0_test: Crash # Instance of 'TypeOperator': type check unimplemented for Foo.
-function_subtype_local1_test: Crash # Instance of 'TypeOperator': type check unimplemented for Foo<bool>.
-function_subtype_local2_test: Crash # Instance of 'TypeOperator': type check unimplemented for Foo<T>.
-function_subtype_local3_test: Crash # Instance of 'TypeOperator': type check unimplemented for Foo.
-function_subtype_local4_test: Crash # Instance of 'TypeOperator': type check unimplemented for Foo.
-function_subtype_local5_test: Crash # Instance of 'TypeOperator': type check unimplemented for Foo<T>.
-function_subtype_named1_test: Crash # Instance of 'TypeOperator': type check unimplemented for t_void_.
-function_subtype_named2_test: Crash # type expression void___a_int (typedef)
-function_subtype_not0_test: Crash # Instance of 'TypeOperator': type check unimplemented for Foo.
-function_subtype_not1_test: Crash # Instance of 'TypeOperator': type check unimplemented for Foo.
-function_subtype_not2_test: Crash # Instance of 'TypeOperator': type check unimplemented for Foo<T>.
-function_subtype_not3_test: Crash # Instance of 'TypeOperator': type check unimplemented for Foo<T>.
-function_subtype_optional1_test: Crash # Instance of 'TypeOperator': type check unimplemented for t_void_.
-function_subtype_optional2_test: Crash # type expression void___int (typedef)
-function_subtype_setter0_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-function_subtype_simple0_test: Crash # Instance of 'TypeOperator': type check unimplemented for Args0.
-function_subtype_simple1_test: Crash # Instance of 'TypeOperator': type check unimplemented for Args0.
-function_subtype_simple2_test: Crash # Instance of 'TypeOperator': type check unimplemented for Args0.
-function_subtype_top_level0_test: Crash # Instance of 'TypeOperator': type check unimplemented for Foo.
-function_subtype_top_level1_test: Crash # Instance of 'TypeOperator': type check unimplemented for Foo<T>.
-function_subtype_typearg0_test: Crash # type expression Foo (typedef)
-function_subtype_typearg1_test: Crash # type expression f2 (typedef)
-function_subtype_typearg2_test: Crash # type expression f1 (typedef)
-function_subtype_typearg3_test: Crash # type expression f1 (typedef)
-function_subtype_typearg4_test: Crash # type expression f1 (typedef)
-function_type3_test: Crash # Instance of 'TypeOperator': type check unimplemented for F.
-function_type_alias2_test: Crash # Instance of 'TypeOperator': type check unimplemented for f1.
-function_type_alias3_test: Crash # Instance of 'TypeOperator': type check unimplemented for F.
-function_type_alias4_test: Crash # Instance of 'TypeOperator': type check unimplemented for F.
-function_type_alias6_test/none: Crash # Instance of 'TypeOperator': type check unimplemented for F.
-function_type_alias_test: Crash # Instance of 'TypeOperator': type check unimplemented for Fun.
-function_type_call_getter_test: Crash # Instance of 'TypeOperator': type check unimplemented for F.
 generic_closure_test: Crash # Instance of 'TypeOperator': type check unimplemented for F.
 generic_constructor_mixin2_test: Crash # Internal Error: No default constructor available.
 generic_constructor_mixin3_test: Crash # Internal Error: No default constructor available.
 generic_constructor_mixin_test: Crash # Internal Error: No default constructor available.
 generic_field_mixin3_test: RuntimeError # Please triage this failure.
-generic_list_checked_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-if_null_assignment_behavior_test/04: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-if_null_assignment_static_test/02: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-if_null_assignment_static_test/06: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-if_null_assignment_static_test/09: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-if_null_assignment_static_test/13: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-if_null_assignment_static_test/16: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-if_null_assignment_static_test/20: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-if_null_assignment_static_test/23: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-if_null_assignment_static_test/27: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-if_null_assignment_static_test/30: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-if_null_assignment_static_test/34: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-if_null_assignment_static_test/37: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-if_null_assignment_static_test/41: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-if_null_behavior_test/07: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-if_null_behavior_test/10: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-if_null_behavior_test/12: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-if_null_behavior_test/14: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-if_null_behavior_test/15: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-if_null_behavior_test/16: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-if_null_precedence_test/07: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-if_null_precedence_test/08: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 implicit_super_constructor_call_test: Crash # Invalid argument(s)
-import_self_test/01: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-inference_captured_variable2_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-inference_captured_variable_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-inference_list_or_null_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 inference_mixin_field_test: Crash # Internal Error: No default constructor available.
-inference_super_constructor_call_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-inferrer_constructor2_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-inferrer_constructor3_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-inferrer_constructor4_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-inferrer_constructor5_test/01: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-inferrer_constructor_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 inferrer_synthesized_constructor_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 inferrer_synthesized_super_constructor_test: Crash # Invalid argument(s)
-inferrer_this_access_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 infinite_switch_label_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 inlined_throw_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-instance_creation_in_function_annotation_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 instanceof4_test/01: RuntimeError # Please triage this failure.
 integer_division_by_zero_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-interceptor6_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-interceptor_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-invocation_mirror_invoke_on2_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 invocation_mirror_invoke_on_test: RuntimeError # Please triage this failure.
 invocation_mirror_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-is_nan_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-is_not_class2_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-isnot_malformed_type_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 issue10581_test: Crash # (switch (type){case ...  Unhandled node
-issue10747_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-issue10783_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-issue11724_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 issue12023_test: Crash # (switch (action){cas...  Unhandled node
-issue12284_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 issue13474_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-issue14014_3_test: Crash # Instance of 'TypeOperator': type check unimplemented for foo<T>.
 issue20476_test: Crash # (try {try {return 1;}catch (e1){}finally {return 3;}}catch (e2){}finally {return 5;}): try/finally
 issue_1751477_test: RuntimeError # O.loadLibrary is not a function
 label_test: Crash # (switch (i){case 111:while(doAgain()){break L;}default:i-- ;}): Unhandled node
 large_class_declaration_test: Crash # Stack Overflow
-lazy_static3_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-licm2_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-licm3_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-list_double_index_in_loop2_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-list_double_index_in_loop_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-list_length_tracer_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-list_literal3_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-list_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-malbounded_type_cast2_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-malbounded_type_cast_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-malbounded_type_test2_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-malformed_test/06: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 malformed_test/none: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 many_overridden_no_such_method_test: RuntimeError # Please triage this failure.
-megamorphic_no_such_method_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-method_override4_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 method_override5_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-method_override_test: Crash # Instance of 'TypeOperator': type check unimplemented for RemoveFunctionType<String, String>.
 mint_arithmetic_test: Crash # (try {f(a,b){var s=b...  try/finally
 mixin_bound_test: Crash # Internal Error: No default constructor available.
-mixin_extends_field_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-mixin_extends_method_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-mixin_field_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 mixin_forwarding_constructor1_test: Crash # Internal Error: No default constructor available.
 mixin_forwarding_constructor3_test: Crash # Internal Error: No default constructor available.
-mixin_illegal_static_access_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-mixin_lib_extends_field_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-mixin_lib_extends_method_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-mixin_method_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 mixin_super_constructor2_test: Crash # Internal Error: No default constructor available.
 mixin_super_constructor_default_test: Crash # Internal Error: No default constructor available.
 mixin_super_constructor_multiple_test: Crash # Internal Error: No default constructor available.
@@ -706,42 +485,11 @@ mixin_type_parameters_mixin_test: Crash # The null object does not have a getter
 mixin_type_parameters_super_extends_test: Crash # The null object does not have a getter '_element'.
 mixin_type_parameters_super_test: Crash # The null object does not have a getter '_element'.
 mixin_typedef_constructor_test: Crash # Internal Error: No default constructor available.
-mixin_with_two_implicit_constructors_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 modulo_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-multiple_field_assignment_constructor_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-named_parameter_clash_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-named_parameters_aggregated_test/05: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-naming_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 nested_switch_label_test: Crash # (switch (target){out...  Unhandled node
-no_such_constructor2_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-no_such_method_dispatcher_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-no_such_method_empty_selector_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 no_such_method_test: RuntimeError # Please triage this failure.
-null_inline_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-null_no_such_method_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-null_test/none: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-number_identifier_test/05: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-number_identifier_test/08: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-number_identifier_test/09: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-on_catch_malformed_type_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-operator_equals_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-optimized_constant_array_string_access_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-optimized_string_charat_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-optimized_string_charcodeat_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 overridden_no_such_method_test: RuntimeError # Please triage this failure.
 phi_merge_test: Crash # (switch (value){case 42:break;case 43:break;}): Unhandled node
-prefix16_test: Crash # Instance of 'TypeOperator': type check unimplemented for myFunc.
-prefix_unqualified_invocation_test/02: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-private4_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-private_access_test/01: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-private_access_test/02: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-private_access_test/03: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-private_access_test/04: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-private_access_test/05: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-private_access_test/06: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-private_mixin2_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-range_analysis2_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-redirecting_factory_incompatible_signature_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 ref_before_declaration_test/00: Crash # (switch (x){case 0:var x='Does fuzzy logic tickle?';}): Unhandled node
 ref_before_declaration_test/01: Crash # (switch (x){case 0:var x='Does fuzzy logic tickle?';}): Unhandled node
 ref_before_declaration_test/02: Crash # (switch (x){case 0:var x='Does fuzzy logic tickle?';}): Unhandled node
@@ -750,9 +498,6 @@ ref_before_declaration_test/04: Crash # (switch (x){case 0:var x='Does fuzzy log
 ref_before_declaration_test/05: Crash # (switch (x){case 0:var x='Does fuzzy logic tickle?';}): Unhandled node
 ref_before_declaration_test/06: Crash # (switch (x){case 0:var x='Does fuzzy logic tickle?';}): Unhandled node
 ref_before_declaration_test/none: Crash # (switch (x){case 0:var x='Does fuzzy logic tickle?';}): Unhandled node
-refine_receiver_null_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-reg_exp_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-regress_12561_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 regress_18435_test: Crash # Invalid argument(s)
 regress_18535_test: Crash # Internal Error: No default constructor available.
 regress_21795_test: Crash # (try {foo(t);}finally {if(t==0){try {}catch (err,st){}}}): try/finally
@@ -771,21 +516,15 @@ regress_23500_test/02: Crash # (main()async{var err...  cannot handle async/sync
 regress_23500_test/none: Crash # (main()async{var err...  cannot handle async/sync*/async* functions
 regress_23537_test: Crash # (try {var b;try {for...  try/finally
 regress_23650_test: Crash # (try {return new C<T>.foo();}finally {}): try/finally
-return_type_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-side_effect_throw_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 stack_trace_test: Crash # (try {int j;i=func2(...  try/finally
 statement_test: Crash # (try {throw "foo";}c...  try/finally
 static_postfix_operator_test: Crash # (try {if(a++ ==0){inIt=true;}}finally {}): try/finally
-static_setter_get_test/01: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-string_charcode_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-string_optimizations_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 super_all_named_constructor_test: Crash # Invalid argument(s)
 super_bound_closure_test/01: RuntimeError # Cannot read property 'call' of undefined
 super_bound_closure_test/none: RuntimeError # Cannot read property 'call' of undefined
 super_call4_test: RuntimeError # Please triage this failure.
 super_getter_setter_test: Crash # Class 'PartialMethodElement' has no instance getter 'initializer'.
 super_implicit_closure_test: RuntimeError # Cannot read property 'call' of undefined
-super_inferrer_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 super_operator_index2_test: RuntimeError # this.get$map is not a function
 super_operator_index5_test: Crash # (super[0]=42): visitUnresolvedSuperIndexSet
 super_operator_index7_test: Crash # (super[0]=42): visitUnresolvedSuperIndexSet
@@ -795,7 +534,6 @@ super_operator_index_test/03: Crash # (super[4]=42): visitUnresolvedSuperIndexSe
 super_operator_index_test/04: Crash # The null object does not have a getter 'isParameter'.
 super_operator_index_test/05: Crash # (super[4]=42): visitUnresolvedSuperIndexSet
 super_operator_index_test/06: Crash # The null object does not have a getter 'isParameter'.
-super_operator_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 switch6_test: Crash # (switch (a){case 0:{x=0;break;}case 1:x=1;break;}): Unhandled node
 switch8_test: Crash # (switch (new List(1)[0]){case const A():throw 'Test failed';}): Unhandled node
 switch_bad_case_test/none: Crash # (switch (n){case 1:return "I";case 4:return "IV";}): Unhandled node
@@ -825,7 +563,6 @@ throw4_test: Crash # (try {j=func();}on M...  try/finally
 throw5_test: Crash # (try {int j;j=func()...  try/finally
 throw6_test: Crash # (try {j=func();}catc...  try/finally
 throw8_test: Crash # (try {try {return 49...  try/finally
-throw_expr_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 throw_test: Crash # (try {int j;j=func()...  try/finally
 truncdiv_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 try_catch3_test: Crash # (try {int j;j=f2();j...  try/finally
@@ -834,9 +571,6 @@ try_catch5_test: Crash # (try {try {a=8;return;}finally {b=8==a;entered=true;con
 try_catch_optimized2_test: Crash # (try {bar();}finally {}): try/finally
 try_catch_osr_test: Crash # (try {if(x==null)throw 42;return 99;}finally {}): try/finally
 try_catch_test/none: Crash # The null object does not have a getter '_element'.
-type_argument_in_super_type_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-type_check_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-type_literal_prefix_call_test/00: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 type_parameter_test/01: Crash # Invalid argument(s)
 type_parameter_test/02: Crash # Invalid argument(s)
 type_parameter_test/03: Crash # Invalid argument(s)
@@ -844,37 +578,9 @@ type_parameter_test/04: Crash # Invalid argument(s)
 type_parameter_test/05: Crash # Invalid argument(s)
 type_parameter_test/06: Crash # Invalid argument(s)
 type_parameter_test/none: Crash # Invalid argument(s)
-type_promotion_functions_test/01: Crash # Instance of 'TypeOperator': type check unimplemented for FuncDynToDyn.
-type_promotion_functions_test/02: Crash # Instance of 'TypeOperator': type check unimplemented for FuncDynToDyn.
-type_promotion_functions_test/03: Crash # Instance of 'TypeOperator': type check unimplemented for FuncDynToDyn.
-type_promotion_functions_test/04: Crash # Instance of 'TypeOperator': type check unimplemented for FuncDynToDyn.
-type_promotion_functions_test/05: Crash # Instance of 'TypeOperator': type check unimplemented for FuncDynToDyn.
-type_promotion_functions_test/06: Crash # Instance of 'TypeOperator': type check unimplemented for FuncDynToDyn.
-type_promotion_functions_test/07: Crash # Instance of 'TypeOperator': type check unimplemented for FuncDynToDyn.
-type_promotion_functions_test/08: Crash # Instance of 'TypeOperator': type check unimplemented for FuncDynToDyn.
-type_promotion_functions_test/09: Crash # Instance of 'TypeOperator': type check unimplemented for FuncDynToDyn.
-type_promotion_functions_test/10: Crash # Instance of 'TypeOperator': type check unimplemented for FuncDynToDyn.
-type_promotion_functions_test/11: Crash # Instance of 'TypeOperator': type check unimplemented for FuncDynToDyn.
-type_promotion_functions_test/12: Crash # Instance of 'TypeOperator': type check unimplemented for FuncDynToDyn.
-type_promotion_functions_test/13: Crash # Instance of 'TypeOperator': type check unimplemented for FuncDynToDyn.
-type_promotion_functions_test/14: Crash # Instance of 'TypeOperator': type check unimplemented for FuncDynToDyn.
-type_promotion_functions_test/none: Crash # Instance of 'TypeOperator': type check unimplemented for FuncDynToDyn.
-type_propagation_in_for_update_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 type_variable_closure2_test: RuntimeError # Please triage this failure.
 type_variable_closure_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-type_variable_conflict2_test/03: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-type_variable_conflict2_test/04: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-type_variable_conflict2_test/05: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-type_variable_conflict2_test/07: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-type_variable_conflict2_test/09: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-type_variable_function_type_test: Crash # Instance of 'TypeOperator': type check unimplemented for Func<S>.
-type_variable_typedef_test: Crash # type expression Foo<T> (typedef)
-typedef_is_test: Crash # Instance of 'TypeOperator': type check unimplemented for Func1.
 typevariable_substitution2_test/01: Crash # Internal Error: No default constructor available.
 typevariable_substitution2_test/02: Crash # Internal Error: No default constructor available.
 typevariable_substitution2_test/none: Crash # Internal Error: No default constructor available.
-unresolved_default_constructor_test/01: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-value_range2_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-value_range3_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-value_range_test: Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 void_type_test: Crash # (switch (n){case 0:x...  Unhandled node