[turbofan] Require proper typing when inferring machine type from big-boy type.

src/compiler/representation-change.cc

 // Copyright 2015 the V8 project authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #include "src/compiler/representation-change.h"
 
 #include <sstream>
 
 #include "src/base/bits.h"
 #include "src/code-factory.h"
@@ skipping 453 matching lines @@
     case IrOpcode::kNumberLessThanOrEqual:
       return machine()->Float64LessThanOrEqual();
     default:
       UNREACHABLE();
       return NULL;
   }
 }
 
 
 MachineType RepresentationChanger::TypeFromUpperBound(Type* type) {
-  if (type->Is(Type::None()))
-    return kTypeAny;  // TODO(titzer): should be an error
+  CHECK(!type->Is(Type::None()));
   if (type->Is(Type::Signed32())) return kTypeInt32;
   if (type->Is(Type::Unsigned32())) return kTypeUint32;
   if (type->Is(Type::Number())) return kTypeNumber;
   if (type->Is(Type::Boolean())) return kTypeBool;
   return kTypeAny;
 }
 
 
 Node* RepresentationChanger::TypeError(Node* node, MachineTypeUnion output_type,
                                        MachineTypeUnion use) {
@@ skipping 21 matching lines @@
 
 
 Node* RepresentationChanger::InsertChangeTaggedToFloat64(Node* node) {
   return jsgraph()->graph()->NewNode(simplified()->ChangeTaggedToFloat64(),
                                      node);
 }
 
 }  // namespace compiler
 }  // namespace internal
 }  // namespace v8