Better runtime type checks.

tests/language/language.status

 # Copyright (c) 2011, 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.
 
 # This directory contains tests that are intended to show the
 # current state of the language.
 
 # In order to maintain maximum test coverage for all builds,
 # please use the following procedure to mark a test
 # failed on architectures other than the one you are working on.
@@ skipping 170 matching lines @@
 Private3Test: Fail
 
 TypedMessageTest: Fail # Bug 5246195
 
 
 [ $component == frogsh ]
 PrivateMemberTest/01: Skip  # Leads to stack overflows when self-hosted.
 PrivateMemberTest/02: Skip  # Leads to stack overflows when self-hosted.
 PrivateMemberTest/03: Skip  # Leads to stack overflows when self-hosted.
 PrivateMemberTest/04: Skip  # Leads to stack overflows when self-hosted.
-CTConstTest: Fail # Not checking for generic type in const expression.
 
 [ $component == frog || $component == leg ]
 ToStringAsFixedTest: Fail # fails due to rounding in constant propagation
-CTConstTest: Pass # pass for the wrong reason: how numbers are printed, rather
-                  # than checking for generic type in const expression
 PrivateMemberTest/01: Fail
 PrivateMemberTest/02: Fail
 PrivateMemberTest/03: Fail
 PrivateMemberTest/04: Fail
 
 [ $component == frogsh ||  $component == frog || $component == leg ]
 
 # VM or DartC specific tests not to be run by Frog. See language.status
 *VMTest: Skip
 *VMNegativeTest: Skip
 *DartcTest: Skip
 *DartcNegativeTest: Skip
 
 BitOperationsTest: Skip  # relies on big integers not available in JS
 CallThroughGetterTest: Fail
 CanonicalConstTest: Fail # type in const array allocation is erased
 CharEscapeTest: Fail
 ClassOverrideNegativeTest: Fail
 ClosuresWithComplexParamsTest: Fail
 CompoundAssignmentOperatorTest: Fail
 ConstFactoryNegativeTest: Fail
 ConstObjectsAreImmutableTest: Fail
 ConstructorDefaultTest: Fail
 ConstructorSetterNegativeTest: Fail    # we were passing this test for the wrong reason
+CTConstTest: Fail # Not checking for generic type in const expression.
 DynamicTest: Fail                      # newly added on 10/27
 EmptyBodyMemberNegativeTest: Fail
 ExampleConstructorTest: Fail
 Constructor2Test: Fail
 Constructor3Test: Fail
 Constructor4Test: Fail
 Constructor5Test: Fail    # Order of initializers.
 Constructor6Test: Fail    # Parse failure in initializers.
 ExecuteFinally6Test: Fail
 ExpectTest: Fail
@@ skipping 114 matching lines @@
 DoubleComparisonTest: Fail
 
 [ $arch == x64 ]
 *: Skip
 
 [ $arch == simarm ]
 *: Skip
 
 [ $arch == arm ]
 *: Skip