Index: src/compiler/verifier.cc |
diff --git a/src/compiler/verifier.cc b/src/compiler/verifier.cc |
index fcdfbd9a30f674e48acc18ba3ff89ff5f845aa74..87f90f135c32db612a14c55ab3c1bd338b521ad3 100644 |
--- a/src/compiler/verifier.cc |
+++ b/src/compiler/verifier.cc |
@@ -1087,6 +1087,10 @@ void Verifier::Visitor::Check(Node* node) { |
CheckValueInputIs(node, 0, Type::Boolean()); |
CheckNotTyped(node); |
break; |
+ case IrOpcode::kCheckInternalizedString: |
+ CheckValueInputIs(node, 0, Type::Any()); |
+ CheckTypeIs(node, Type::InternalizedString()); |
+ break; |
case IrOpcode::kCheckMaps: |
// (Any, Internal, ..., Internal) -> Any |
CheckValueInputIs(node, 0, Type::Any()); |