Don't require eliminating certain type checks in unoptimized compilation.

runtime/vm/ast.cc

 // 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.
 
 #include "vm/ast.h"
 #include "vm/compiler.h"
 #include "vm/dart_entry.h"
 #include "vm/isolate.h"
 #include "vm/object_store.h"
 #include "vm/resolver.h"
 
 
 namespace dart {
 
+DECLARE_FLAG(bool, enable_type_checks);
+
 #define DEFINE_VISIT_FUNCTION(BaseName)                                        \
 void BaseName##Node::Visit(AstNodeVisitor* visitor) {                          \
   visitor->Visit##BaseName##Node(this);                                        \
 }
 
 FOR_EACH_NODE(DEFINE_VISIT_FUNCTION)
 #undef DEFINE_VISIT_FUNCTION
 
 
 #define DEFINE_NAME_FUNCTION(BaseName)                                         \
@@ skipping 473 matching lines @@
     return NULL;
   }
   return new StoreLocalNode(token_pos(), &local(), rhs);
 }
 
 
 AstNode* LoadStaticFieldNode::MakeAssignmentNode(AstNode* rhs) {
   if (field().is_final()) {
     return NULL;
   }
+  if (FLAG_enable_type_checks) {
+    rhs = new AssignableNode(
+        field().token_pos(),
+        rhs,
+        AbstractType::ZoneHandle(field().type()),
+        String::ZoneHandle(field().name()));
+  }
   return new StoreStaticFieldNode(token_pos(), field(), rhs);
 }
 
 
 AstNode* InstanceGetterNode::MakeAssignmentNode(AstNode* rhs) {
   return new InstanceSetterNode(token_pos(), receiver(), field_name(), rhs);
 }
 
 
 AstNode* LoadIndexedNode::MakeAssignmentNode(AstNode* rhs) {
@@ skipping 32 matching lines @@
       // order to trigger the throw at runtime.
       return new StaticSetterNode(token_pos(), NULL, cls(), field_name(), rhs);
     }
 #if defined(DEBUG)
     const String& getter_name = String::Handle(Field::GetterName(field_name()));
     const Function& getter =
         Function::Handle(cls().LookupStaticFunction(getter_name));
     ASSERT(!getter.IsNull() &&
            (getter.kind() == RawFunction::kImplicitStaticFinalGetter));
 #endif
+    if (FLAG_enable_type_checks) {
+      rhs = new AssignableNode(
+          field.token_pos(),
+          rhs,
+          AbstractType::ZoneHandle(field.type()),
+          String::ZoneHandle(field.name()));
+    }
     return new StoreStaticFieldNode(token_pos(), field, rhs);
   }
   // Didn't find a static setter or a static field.
   // If this static getter is in an instance function where
   // a receiver is available, we turn this static getter
   // into an instance setter (and will get an error at runtime if an
   // instance setter cannot be found either).
   if (receiver() != NULL) {
     return new InstanceSetterNode(token_pos(), receiver(), field_name(), rhs);
   }
@@ skipping 46 matching lines @@
   if (result.IsError() || result.IsNull()) {
     // TODO(turnidge): We could get better error messages by returning
     // the Error object directly to the parser.  This will involve
     // replumbing all of the EvalConstExpr methods.
     return NULL;
   }
   return &Instance::ZoneHandle(Instance::Cast(result).raw());
 }
 
 }  // namespace dart