Merge pull request #73674 from Snowy1803/rdar128091794

[SILVerifier] Disable debug info type assertion for boxes

Author: adrian-prantl

lib/SIL/Verifier/SILVerifier.cpp

@@ -1521,7 +1521,7 @@ class SILVerifier : public SILVerifierBase<SILVerifier> {
 
     SILType DebugVarTy = varInfo->Type ? *varInfo->Type :
       SSAType.getObjectType();
-    if (!varInfo->DIExpr && !isa<AllocBoxInst>(inst)) {
+    if (!varInfo->DIExpr && !isa<SILBoxType>(SSAType.getASTType())) {
       // FIXME: Remove getObjectType() below when we fix create/createAddr
       require(DebugVarTy.removingMoveOnlyWrapper()
               == SSAType.getObjectType().removingMoveOnlyWrapper(),