[SILVerifier] Disable debug info type assertion for boxes

rdar://128091794

Author: Snowy1803

lib/SIL/Verifier/SILVerifier.cpp

@@ -1496,7 +1496,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(),