Fix type checks that wrongly ignore malformed types.

tests/language/src/TypeVariableBoundsTest.dart

 // 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.
 
 // Test of parameterized factory methods.
 
 class Foo<T extends num> {
   Foo();
 
   factory XFoo.bad() { return null; } /// 00: compile-time error
@@ skipping 10 matching lines @@
 class Baz
     extends Foo<String> /// 01: static type warning, dynamic type error
 {}
 
 class Biz extends Foo<int> {}
 
 Foo<int> fi;
 
 // String is not assignable to num.
 Foo
-    <String> /// 02: static type warning
+    <String> /// 02: static type warning, dynamic type error
   fs;
 
 class Box<T> {
 
   // Box.T is not assignable to num.
   Foo<T> t; /// 03: static type warning
 
   makeFoo() {
     // Box.T is not assignable to num.
     return new Foo<T>(); /// 04: static type warning
@@ skipping 22 matching lines @@
 
   // Too many type arguments.
   new Box<Object, Object>(); /// 08: compile-time error
 
   // Fisk does not exist.
   Box<Fisk> box = null; /// 09: static type warning
 
   // Too many type arguments.
   Box<Object, Object> box = null; /// 10: static type warning
 }