| 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());
|
|
|