Support runtime check of function types.

tests/language/language_dart2js.status

 # Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 # for details. All rights reserved. Use of this source code is governed by a
 # BSD-style license that can be found in the LICENSE file.
 
 [ $compiler == dart2js || $compiler == dart2dart ]
 class_literal_test/01: Fail # Class literals are expression now; delete this test.
 class_literal_test/02: Fail # Class literals are expression now; delete this test.
 class_literal_test/05: Fail # Class literals are expression now; delete this test.
 class_literal_test/06: Fail # Class literals are expression now; delete this test.
 class_literal_test/07: Fail # Class literals are expression now; delete this test.
@@ skipping 122 matching lines @@
 
 throw_expr_test: Fail
 metadata_test: Fail # Metadata on type parameters not supported.
 infinity_test: Fail # Issue 4984
 positive_bit_operations_test: Fail # (floitsch): This will be fixed when dart2js uses unsigned input for >>.
 
 compile_time_constant8_test: Fail # We don't take the generic type into account yet.
 canonical_const_test: Fail # We don't take the generic type into account yet.
 
 # Support for optional parameters not conform to latest spec.
-function_type_alias_test: Fail
 function_type_alias2_test: Fail
 named_parameters_type_test: Fail
 positional_parameters_type_test: Fail
 named_parameters_with_object_property_names_test: Fail
 
 
 # Compilation errors.
 default_factory3_test: Fail # type arguments on redirecting factory not implemented
 non_parameterized_factory_test: Fail # type arguments on redirecting factory not implemented
 non_parameterized_factory2_test: Fail # type arguments on redirecting factory not implemented
 const_var_test: Fail # Map literals take 2 type arguments.
 map_literal3_test: Fail # Map literals take 2 type arguments.
 ct_const_test: Fail # We don't take the generic type into account yet.
-dynamic_test: Fail # cannot resolve type F1
 constructor_redirect2_test/03: Fail # redirecting ctor with initializing formal
 factory2_test: Fail # internal error: visitIs for type variables not implemented
 factory3_test: Fail # internal error: visitIs for type variables not implemented
 factory5_test: Fail # internal error: visitIs for type variables not implemented
 function_type_alias2_test: Fail # cannot resolve type f1
-function_type_alias3_test: Fail # cannot resolve type F
 function_type_alias4_test: Fail # cannot resolve type F
 function_type_alias5_test/00: Fail # visitIs for typedefs not implemented
 function_type_alias5_test/01: Fail # visitIs for typedefs not implemented
 function_type_alias5_test/02: Fail # visitIs for typedefs not implemented
 function_type_alias7_test/00: Fail # wrongly accepts default values in typedef
-function_type_alias_test: Fail # cannot resolve type Fun
 generic_test: Fail # cannot resolve type T
 get_set_syntax_test/00: Fail # Fixed by https://chromiumcodereview.appspot.com/10915111
 get_set_syntax_test/01: Fail # Fixed by https://chromiumcodereview.appspot.com/10915111
 get_set_syntax_test/02: Fail # Fixed by https://chromiumcodereview.appspot.com/10915111
 get_set_syntax_test/03: Fail # Fixed by https://chromiumcodereview.appspot.com/10915111
 get_set_syntax_test/04: Fail # Fixed by https://chromiumcodereview.appspot.com/10915111
 get_set_syntax_test/05: Fail # Fixed by https://chromiumcodereview.appspot.com/10915111
 get_set_syntax_test/06: Fail # Fixed by https://chromiumcodereview.appspot.com/10915111
 get_set_syntax_test/07: Fail # Fixed by https://chromiumcodereview.appspot.com/10915111
 get_set_syntax_test/08: Fail # Fixed by https://chromiumcodereview.appspot.com/10915111
@@ skipping 166 matching lines @@
 call_through_null_getter_test: Fail
 closure3_test: Fail
 execute_finally3_test: Fail
 method_invocation_test: Fail
 null_pointer_exception_test: Fail
 stack_overflow_test: Fail
 stack_overflow_stacktrace_test: Fail
 string_interpolate_npe_test: Fail
 closure_call_wrong_argument_count_negative_test: Skip
 label_test: Skip