Merge pull request #69968 from tshortli/sil-verifier-crash

Author: tshortli

include/swift/SIL/SILModule.h

@@ -473,7 +473,7 @@ class SILModule {
   SingleValueInstruction *
   getRootLocalArchetypeDefInst(CanLocalArchetypeType archetype,
                                SILFunction *inFunction) {
-    return cast<SingleValueInstruction>(
+    return dyn_cast<SingleValueInstruction>(
         getRootLocalArchetypeDef(archetype, inFunction));
   }
 

lib/SIL/Verifier/SILVerifier.cpp

@@ -1703,6 +1703,8 @@ class SILVerifier : public SILVerifierBase<SILVerifier> {
         // the current function.
         auto *openingInst = F.getModule().getRootLocalArchetypeDefInst(
             root, AI->getFunction());
+        require(openingInst,
+                "Root opened archetype should be registered in SILModule");
         require(openingInst == AI || properlyDominates(openingInst, AI),
                 "Use of a local archetype should be dominated by a "
                 "definition of this root opened archetype");