Temporary fix for static type check elimination in new compiler. Enable tests.

runtime/vm/flow_graph_builder.cc

 // 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.
 
 #include "vm/flow_graph_builder.h"
 
 #include "vm/ast_printer.h"
 #include "vm/bit_vector.h"
 #include "vm/code_descriptors.h"
 #include "vm/dart_entry.h"
@@ skipping 346 matching lines @@
   if (static_type.IsNullType()) {
     // There are only three instances that can be of Class Null:
     // Object::null(), Object::sentinel(), and Object::transition_sentinel().
     // The inline code and run time code performing the type check will never
     // encounter the 2 sentinel values. The type check of a sentinel value
     // will always be eliminated here, because these sentinel values can only
     // be encountered as constants, never as actual value of a heap object
     // being type checked.
     return true;
   }
+  if (static_type.IsType() &&
+      Class::Handle(static_type.type_class()).HasTypeArguments()) {
+    // TODO(regis): Special tests need to be added.
+    return false;
+  }
   Error& malformed_error = Error::Handle();
   if (!dst_type.IsMalformed() &&
       static_type.IsSubtypeOf(dst_type, &malformed_error)) {
     return true;
   }
 
   return false;
 }
 
 
@@ skipping 2184 matching lines @@
   char* chars = reinterpret_cast<char*>(
       Isolate::Current()->current_zone()->Allocate(len));
   OS::SNPrint(chars, len, kFormat, function_name, reason);
   const Error& error = Error::Handle(
       LanguageError::New(String::Handle(String::New(chars))));
   Isolate::Current()->long_jump_base()->Jump(1, error);
 }
 
 
 }  // namespace dart