Handle type checking of generic compile time constants.

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 ]
 bad_constructor_test/05: CompileTimeError # Issue 13669
 malformed_test/05: MissingCompileTimeError # Issue 12695
 malformed_test/06: MissingCompileTimeError # Issue 12695
 full_stacktrace1_test: Pass, RuntimeError # Issue 12698
 full_stacktrace2_test: Pass, RuntimeError # Issue 12698
@@ skipping 42 matching lines @@
 typevariable_substitution2_test/01: CompileTimeError # Issue 15875
 typevariable_substitution2_test/02: CompileTimeError # Issue 15875
 mixin_bound_test: CompileTimeError # Issue 15875
 
 [ $compiler == dart2js && $unchecked ]
 type_checks_in_factory_method_test: RuntimeError # Issue 12746
 assertion_test: RuntimeError # Issue 12748
 double_to_string_as_exponential2_test: RuntimeError # Issue 12749
 double_to_string_as_fixed2_test: RuntimeError # Issue 12749
 double_to_string_as_precision2_test: RuntimeError # Issue 12749
-list_literal1_test/01: MissingCompileTimeError, OK # Checked mode test.
-map_literal1_test/01: MissingCompileTimeError, OK # Checked mode test.
+generic_test: RuntimeError, OK
+named_parameters_type_test/01: MissingRuntimeError, OK
+named_parameters_type_test/02: MissingRuntimeError, OK
+named_parameters_type_test/03: MissingRuntimeError, OK
+positional_parameters_type_test/01: MissingRuntimeError, OK
+positional_parameters_type_test/02: MissingRuntimeError, OK
+issue13474_test: RuntimeError, OK
+
+[ $compiler == dart2js && $unchecked ]
+# This section is for tests that intentionally have incompatible behavior in
+# unchecked and checked mode. For instance tests for type errors in compile
+# time constants, which cause static type warnings in unchecked mode and
+# compile-time errors in checked mode.

[karlklose, 2014/01/29 10:44:23]

Ditto.

[Johnni Winther, 2014/01/30 08:25:23]

Done.

 compile_time_constant_checked_test/02: MissingCompileTimeError, OK
 compile_time_constant_checked2_test/01: MissingCompileTimeError, OK
 compile_time_constant_checked2_test/02: MissingCompileTimeError, OK
 compile_time_constant_checked2_test/03: MissingCompileTimeError, OK
 compile_time_constant_checked2_test/04: MissingCompileTimeError, OK
 compile_time_constant_checked2_test/05: MissingCompileTimeError, OK
 compile_time_constant_checked2_test/06: MissingCompileTimeError, OK
 compile_time_constant_checked3_test/01: MissingCompileTimeError, OK
 compile_time_constant_checked3_test/02: MissingCompileTimeError, OK
 compile_time_constant_checked3_test/03: MissingCompileTimeError, OK
 compile_time_constant_checked3_test/04: MissingCompileTimeError, OK
 compile_time_constant_checked3_test/05: MissingCompileTimeError, OK
 compile_time_constant_checked3_test/06: MissingCompileTimeError, OK
 malformed2_test/01: MissingCompileTimeError, OK
-generic_test: RuntimeError, OK
-named_parameters_type_test/01: MissingRuntimeError, OK
-named_parameters_type_test/02: MissingRuntimeError, OK
-named_parameters_type_test/03: MissingRuntimeError, OK
-positional_parameters_type_test/01: MissingRuntimeError, OK
-positional_parameters_type_test/02: MissingRuntimeError, OK
-issue13474_test: RuntimeError, OK
+list_literal1_test/01: MissingCompileTimeError, OK
+map_literal1_test/01: MissingCompileTimeError, OK
+const_constructor2_test/13: MissingCompileTimeError, OK
+const_constructor2_test/14: MissingCompileTimeError, OK
+const_constructor2_test/15: MissingCompileTimeError, OK
+const_constructor2_test/16: MissingCompileTimeError, OK
+const_constructor2_test/17: MissingCompileTimeError, OK
+const_constructor2_test/20: MissingCompileTimeError, OK
+const_constructor2_test/22: MissingCompileTimeError, OK
+const_constructor2_test/24: MissingCompileTimeError, OK
 
 [ $compiler == dart2js && $minified ]
 cyclic_type_test: Fail # Issue 12605
 cyclic_type2_test: Fail # Issue 12605
 f_bounded_quantification4_test: Fail # Issue 12605
 f_bounded_quantification5_test: Fail # Issue 12605
 mixin_generic_test: Fail # Issue 12605
 mixin_mixin2_test: Fail # Issue 12605
 mixin_mixin3_test: Fail # Issue 12605
 mixin_mixin4_test: Fail # Issue 12605
@@ skipping 194 matching lines @@
 compile_time_constant_checked2_test/04: Fail, OK
 compile_time_constant_checked2_test/05: Fail, OK
 compile_time_constant_checked2_test/06: Fail, OK
 compile_time_constant_checked3_test/01: Fail, OK
 compile_time_constant_checked3_test/02: Fail, OK
 compile_time_constant_checked3_test/03: Fail, OK
 compile_time_constant_checked3_test/04: Fail, OK
 compile_time_constant_checked3_test/05: Fail, OK
 compile_time_constant_checked3_test/06: Fail, OK
 malformed2_test/01: Fail, OK
+const_constructor2_test/13: Fail, OK
+const_constructor2_test/14: Fail, OK
+const_constructor2_test/15: Fail, OK
+const_constructor2_test/16: Fail, OK
+const_constructor2_test/17: Fail, OK
+const_constructor2_test/20: Fail, OK
+const_constructor2_test/22: Fail, OK
+const_constructor2_test/24: Fail, OK
 
 [ $compiler == dart2dart && $checked ]
 # Dart VM problems
 malbounded_type_cast_test: Fail # Issue 14123
 malbounded_type_test_test/01: Fail # Issue 14131
 malbounded_instantiation_test/01: Fail # Issue 14132
 
 [ $compiler == dart2dart && $minified ]
 cyclic_type_test: Fail # Issue 12605.
 cyclic_type2_test: Fail # Issue 12605.
@@ skipping 12 matching lines @@
 super_call4_test: Fail, OK # hardcoded names.
 
 [ $minified ]
 stack_trace_test: Fail, OK # Stack trace not preserved in minified code.
 
 [ $runtime == ie9 ]
 stack_trace_test: Fail, OK # Stack traces not available in IE9.
 
 [ $compiler == dart2js && $host_checked ]
 const_factory_with_body_test/01: Crash