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. |