Index: src/compiler/verifier.cc |
diff --git a/src/compiler/verifier.cc b/src/compiler/verifier.cc |
index 0f923ea42ae0292cf35d538a856f417edb27d609..c25f8c1ad5dfc018663451ebdab3c22d1bb7b15f 100644 |
--- a/src/compiler/verifier.cc |
+++ b/src/compiler/verifier.cc |
@@ -1027,6 +1027,11 @@ void Verifier::Visitor::Check(Node* node) { |
CheckValueInputIs(node, 0, Type::Any()); |
CheckTypeIs(node, Type::String()); |
break; |
+ case IrOpcode::kCheckHasInPrototypeChain: |
+ CheckValueInputIs(node, 0, Type::Any()); |
+ CheckValueInputIs(node, 1, Type::NonInternal()); |
+ CheckTypeIs(node, Type::Boolean()); |
+ break; |
case IrOpcode::kCheckedInt32Add: |
case IrOpcode::kCheckedInt32Sub: |