Eliminate type checks that can successfully be performed at compile time.

runtime/vm/parser.cc

Index: runtime/vm/parser.cc
===================================================================
--- runtime/vm/parser.cc	(revision 6416)
+++ runtime/vm/parser.cc	(working copy)
@@ -7152,22 +7152,10 @@
       if (FLAG_enable_type_checks &&
           !is_const &&
           !element_type.IsDynamicType()) {
-        // The expression needs to be type checked at runtime.
-        // Eliminate the type check if it can be performed at compile time and
-        // if it succeeds.
-        Error& malformed_error = Error::Handle();
-        if (!element_type.IsInstantiated() ||
-            !element->IsLiteralNode() ||
-            (!element->AsLiteralNode()->literal().IsNull() &&
-             !element->AsLiteralNode()->literal().IsInstanceOf(
-                 element_type,
-                 TypeArguments::Handle(),
-                 &malformed_error))) {
-          element = new AssignableNode(element_pos,
-                                       element,
-                                       element_type,
-                                       dst_name);
-        }
+        element = new AssignableNode(element_pos,
+                                     element,
+                                     element_type,
+                                     dst_name);
       }
       list->AddElement(element);
       if (CurrentToken() == Token::kCOMMA) {
@@ -7339,20 +7327,10 @@
     if (FLAG_enable_type_checks &&
         !is_const &&
         !value_type.IsDynamicType()) {
-      // The expression needs to be type checked at runtime.
-      // Eliminate the type check if it can be performed at compile time and
-      // if it succeeds.
-      Error& malformed_error = Error::Handle();
-      if (!value_type.IsInstantiated() ||
-          !value->IsLiteralNode() ||
-          (!value->AsLiteralNode()->literal().IsNull() &&
-           !value->AsLiteralNode()->literal().IsInstanceOf(
-               value_type, TypeArguments::Handle(), &malformed_error))) {
-        value = new AssignableNode(value_pos,
-                                   value,
-                                   value_type,
-                                   dst_name);
-      }
+      value = new AssignableNode(value_pos,
+                                 value,
+                                 value_type,
+                                 dst_name);
     }
     AddKeyValuePair(kv_pairs, is_const, key, value);