| Index: src/compiler/verifier.cc
 | 
| diff --git a/src/compiler/verifier.cc b/src/compiler/verifier.cc
 | 
| index 43fe9ada259d72a8cae46c1f7d3cd768669a8e47..595d9be0d0d825132f0f0b828219c079f42b21c5 100644
 | 
| --- a/src/compiler/verifier.cc
 | 
| +++ b/src/compiler/verifier.cc
 | 
| @@ -684,10 +684,6 @@ void Verifier::Visitor::Check(Node* node) {
 | 
|        CheckValueInputIs(node, 0, Type::Any());
 | 
|        CheckUpperIs(node, Type::Boolean());
 | 
|        break;
 | 
| -    case IrOpcode::kObjectIsNonNegativeSmi:
 | 
| -      CheckValueInputIs(node, 0, Type::Any());
 | 
| -      CheckUpperIs(node, Type::Boolean());
 | 
| -      break;
 | 
|      case IrOpcode::kAllocate:
 | 
|        CheckValueInputIs(node, 0, Type::PlainNumber());
 | 
|        CheckUpperIs(node, Type::TaggedPointer());
 | 
| 
 |