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