| Index: src/compiler/verifier.cc
|
| diff --git a/src/compiler/verifier.cc b/src/compiler/verifier.cc
|
| index 73918d19645393673676136943847abba826ce13..e89fcc95fbeec2fc1bedbf021fc9ae2ba01ce7b6 100644
|
| --- a/src/compiler/verifier.cc
|
| +++ b/src/compiler/verifier.cc
|
| @@ -640,6 +640,13 @@ void Verifier::Visitor::Check(Node* node) {
|
| // Type is String.
|
| CheckTypeIs(node, Type::String());
|
| break;
|
| + case IrOpcode::kJSGetSuperConstructor:
|
| + // We don't check the input for Type::Function because
|
| + // this_function can be context-allocated.
|
| + // Any -> Callable.
|
| + CheckValueInputIs(node, 0, Type::Any());
|
| + CheckTypeIs(node, Type::Callable());
|
| + break;
|
|
|
| case IrOpcode::kJSLoadContext:
|
| // Type can be anything.
|
|
|