Merge pull request #75651 from slavapestov/fix-rdar132236212

RequirementMachine: Temporarily replace a couple of ASSERT with DEBUG_ASSERT

Author: slavapestov

lib/AST/RequirementMachine/Symbol.cpp

@@ -92,7 +92,7 @@ struct Symbol::Storage final
     DEBUG_ASSERT(kind == Symbol::Kind::Superclass ||
                  kind == Symbol::Kind::ConcreteType);
     ASSERT(!type->hasUnboundGenericType());
-    ASSERT(!type->hasTypeVariable());
+    DEBUG_ASSERT(!type->hasTypeVariable());
     ASSERT(type->hasTypeParameter() != substitutions.empty());
 
     Kind = kind;
@@ -105,7 +105,7 @@ struct Symbol::Storage final
   }
 
   Storage(CanType type, ArrayRef<Term> substitutions, const ProtocolDecl *proto) {
-    ASSERT(!type->hasTypeVariable());
+    DEBUG_ASSERT(!type->hasTypeVariable());
     ASSERT(type->hasTypeParameter() != substitutions.empty());
 
     Kind = Symbol::Kind::ConcreteConformance;