Enable full type-checks in checked mode.

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 18 matching lines @@
 full_stacktrace1_test: Skip # Stack trace interface is not implemented yet.
 full_stacktrace2_test: Skip # Stack trace interface is not implemented yet.
 full_stacktrace3_test: Skip # Stack trace interface is not implemented yet.
 stacktrace_test: Skip # Stack trace interface is not implemented yet.
 
 # VM specific tests that should not be run by dart2js.
 *vm_test: Skip
 *vm_negative_test: Skip
 
 [ $compiler == dart2js && $checked ]
-mixin_type_parameters_super_extends_test: Fail # http://dartbug.com/8116
-mixin_type_parameters_super_test: Fail # http://dartbug.com/8116
-mixin_type_parameters_mixin_extends_test: Fail # http://dartbug.com/8116
-mixin_type_parameters_mixin_test: Fail # http://dartbug.com/8116
-
-
+function_type_alias6_test: Crash # dartbug.com/9792
 prefix16_test: Fail # dartbug.com/7354
 default_factory2_test/01: Pass # For the wrong reasons.
 type_variable_scope_test/none: Fail
 factory_implementation_test/00: Fail
 redirecting_factory_infinite_steps_test/01: Fail
 type_variable_bounds_test/01: Fail
 type_variable_bounds_test/02: Fail
 type_variable_bounds_test/04: Fail
 type_variable_bounds_test/05: Fail
 type_variable_bounds2_test/00: Fail
 type_variable_bounds2_test/03: Fail
 type_variable_bounds2_test/05: Fail
 type_variable_bounds2_test/06: Pass # For the wrong reasons.
 type_variable_bounds3_test/00: Fail
 f_bounded_quantification_test/01: Fail
 f_bounded_quantification_test/02: Fail
 closure_type_test: Fail # does not detect type error in checked mode.
 factory1_test/00: Fail
 factory1_test/01: Fail
 type_annotation_test/09: Fail # Named constructors interpreted as a type.
 prefix15_test: Fail # Issue 5022
 local_function2_test: Fail # Issue 5022
-number_identity_test: Fail # Issue 9249
 
 [ $compiler == dart2js && $unchecked ]
 default_factory2_test/01: Fail # type arguments on redirecting factory not implemented
 type_variable_scope_test: Fail # type arguments on redirecting factory not implemented
 assertion_test: Fail
 type_variable_bounds_test/07: Fail # Wrongly reports compile-time error.
 factory_redirection_test/08: Fail
 factory_redirection_test/09: Fail
 factory_redirection_test/10: Fail
 factory_redirection_test/11: Fail
@@ skipping 275 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