When converting from equality to strict equality always note that number check is not needed since …

runtime/vm/flow_graph_optimizer.cc

 // Copyright (c) 2013, 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_optimizer.h"
 
 #include "vm/bit_vector.h"
 #include "vm/cha.h"
 #include "vm/dart_entry.h"
 #include "vm/flow_graph_builder.h"
@@ skipping 2862 matching lines @@
     EqualityCompareInstr* compare,
     T current_instruction) const {
   if (CanStrictifyEqualityCompare(compare)) {
     Token::Kind strict_kind = (compare->kind() == Token::kEQ) ?
         Token::kEQ_STRICT : Token::kNE_STRICT;
     StrictCompareInstr* strict_comp =
         new StrictCompareInstr(compare->token_pos(),
                                strict_kind,
                                compare->left()->CopyWithType(),
                                compare->right()->CopyWithType());
+    // Numbers override equality and are therefore not part of this conversion.
+    strict_comp->set_needs_number_check(false);
     current_instruction->ReplaceWith(strict_comp, current_iterator());
     return true;
   }
   return false;
 }
 
 
 // Returns true if we converted EqualityCompare to StrictCompare.
 template <typename T>
 bool FlowGraphOptimizer::StrictifyEqualityCompareWithICData(
@@ skipping 4518 matching lines @@
   }
 
   // Insert materializations at environment uses.
   for (intptr_t i = 0; i < exits.length(); i++) {
     CreateMaterializationAt(exits[i], alloc, alloc->cls(), *fields);
   }
 }
 
 
 }  // namespace dart