Index: src/compiler/verifier.cc |
diff --git a/src/compiler/verifier.cc b/src/compiler/verifier.cc |
index 722e28ef6593772e21127e1f39a2c8bf444acb9a..34158c85885997ab504cd62719bdbb035d06b2c5 100644 |
--- a/src/compiler/verifier.cc |
+++ b/src/compiler/verifier.cc |
@@ -1129,6 +1129,10 @@ void Verifier::Visitor::Check(Node* node) { |
case IrOpcode::kStoreTypedElement: |
CheckNotTyped(node); |
break; |
+ case IrOpcode::kLoadFunctionPrototype: |
+ CheckValueInputIs(node, 0, Type::Any()); |
+ CheckTypeIs(node, Type::NonInternal()); |
+ break; |
case IrOpcode::kNumberSilenceNaN: |
CheckValueInputIs(node, 0, Type::Number()); |
CheckTypeIs(node, Type::Number()); |