Generate dynamic type errors according to spec.

tests/language/language.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.
 
 # 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 24 matching lines @@
 ImplicitThisTest/03: Fail # Issue 374
 ImplicitThisTest/04: Fail # Issue 374
 ImplicitThisTest/none: Fail # Issue 374
 
 # These bugs refer currently ongoing language discussions.
 Constructor5Test: Fail          # (Discussion ongoing)
 Constructor6Test: Fail          # (Discussion ongoing)
 FunctionTypeAliasNegativeTest: Fail # Spec not clear about self referencing types.
 
 # Bad tests needing to be fixed.
-Prefix23NegativeTest: Fail
 TypeVariableScopeTest/00: Fail
+TypeVariableScopeTest/01: Fail
+TypeVariableScopeTest/02: Fail
 TypeVariableScopeTest/03: Fail
 TypeVariableScopeTest/04: Fail
 TypeVariableScopeTest/05: Fail
 
 # Regular bugs which should be fixed.
 
 ConstInit6NegativeTest: Fail       # Issue 811
 SuperFirstConstructorTest: Fail # Issue 1372.
 
 # Issue 1427
@@ skipping 32 matching lines @@
 *DartcTest: Skip
 *DartcNegativeTest: Skip
 *FrogTest: Skip
 *FrogNegativeTest: Skip
 
 [ ($component == vm || $component == dartium) && $unchecked ]
 
 IsNotClass3NegativeTest: Fail  # Spec unclear.
 Prefix16NegativeTest: Fail    # Bug 5532534
 
-[ ($component == vm || $component == dartium) && $checked ]
-
-TypeVariableBounds2Test/03: Fail # Work in progress.
-Prefix22Test: Fail # This test should be negative in checked mode.
-
 [ ($component == vm || $component == dartium) && $mode == debug ]
 GCTest: Skip  # Takes too long.
 
 [ $component == vm && $mode == release ]
 
 [ $component == dartc || $component == chromium ]
 AbstractSyntaxTest/01: Fail
 ApplicationNegativeTest: Fail
 AssertKeywordNegativeTest: Fail
 AssertTest: Fail             # Uses AssertError class. Bug 4385894.
@@ skipping 29 matching lines @@
 OverrideFieldMethod3NegativeTest: Fail # Bug 5215249
 OverrideFieldMethod4NegativeTest: Fail # Bug 5215249
 OverrideFieldMethod5NegativeTest: Fail # Bug 5215249
 OverrideFieldMethod6NegativeTest: Fail # Bug 5215249
 OverrideFieldTest/04: Fail             # Bug 5215249
 OverrideMethodWithFieldTest/01: Fail   # Bug 5215249
 Prefix101Test: Fail # Allow multiple imports with same prefix.
 Prefix11NegativeTest: Fail             # Bug 5406175
 Prefix12NegativeTest: Fail             # Bug 5406175
 Prefix16NegativeTest: Fail             # Bug 5532534
-Prefix22NegativeTest: Fail   # Needs to be re-written as multitest
-Prefix23NegativeTest: Fail   # Needs to be re-written as multitest
 Prefix3NegativeTest: Fail              # Bug 5406175
 Prefix6NegativeTest: Fail
 PrivateMember3NegativeTest: Fail
 PseudoKWIllegalTest/01: Fail # Issue 356
 PseudoKWIllegalTest/02: Fail # Issue 356
 PseudoKWIllegalTest/03: Fail # Issue 356
 PseudoKWIllegalTest/04: Fail # Issue 356
 PseudoKWIllegalTest/05: Fail # Issue 356
 PseudoKWIllegalTest/06: Fail # Issue 356
 PseudoKWIllegalTest/07: Fail # Issue 356
@@ skipping 179 matching lines @@
 OverrideFieldTest/01: Fail
 OverrideFieldTest/04: Fail
 OverrideMethodWithFieldTest/01: Fail
 ParameterInitializer5NegativeTest: Fail  # Issue 581
 Prefix101Test: Fail # Allow multiple imports with same prefix.
 Prefix8NegativeTest: Fail
 Prefix9NegativeTest: Fail
 Prefix11NegativeTest: Fail
 Prefix16NegativeTest: Fail
 Prefix20NegativeTest: Fail
-Prefix22NegativeTest: Fail
-Prefix23NegativeTest: Fail
 PrivateMemberTest: Fail
 PrivateMember2NegativeTest: Fail
 PrivateMember3NegativeTest: Fail
 PrivateTest: Fail
 RegExp3Test: Fail
 ScopeNegativeTest: Fail
 ScriptNegativeTest: Fail
 SuperImplicitClosureTest: Fail
 SuperTest: Fail  # this is testing precise ordering of super constructor call
 SwitchLabelTest: Fail
@@ skipping 97 matching lines @@
 [ $component == frog && $mode == debug ]
 ConstructorRedirect1NegativeTest: Skip # Undiagnosed infinite loop.
 ConstructorRedirect2NegativeTest: Skip # Undiagnosed infinite loop.
 
 [ $arch == simarm ]
 *: Skip
 
 [ $arch == arm ]
 *: Skip