loosen some assertions

Author: kavon

lib/AST/ASTMangler.cpp

@@ -2584,28 +2584,28 @@ static void reconcileInverses(
            SmallVector<InverseRequirement, 2> &inverses,
            const DeclContext *baseContext,
            std::optional<unsigned> inversesAlreadyMangledDepth) {
-  assert(baseContext);
-
   CanGenericSignature childSig;
-  if (auto sig = baseContext->getGenericSignatureOfContext())
-    childSig = sig.getCanonicalSignature();
-
-  llvm::erase_if(inverses, [&](InverseRequirement const& inv) -> bool {
-    // Drop inverses that aren't applicable in the nested / child signature,
-    // because of an added requirement.
-    if (childSig && childSig->requiresProtocol(inv.subject, inv.protocol))
-      return true;
+  if (baseContext)
+    if (auto sig = baseContext->getGenericSignatureOfContext())
+      childSig = sig.getCanonicalSignature();
+
+  if (childSig || inversesAlreadyMangledDepth)
+    llvm::erase_if(inverses, [&](InverseRequirement const& inv) -> bool {
+      // Drop inverses that aren't applicable in the nested / child signature,
+      // because of an added requirement.
+      if (childSig && childSig->requiresProtocol(inv.subject, inv.protocol))
+        return true;
 
-    auto gp = inv.subject->castTo<GenericTypeParamType>();
+      auto gp = inv.subject->castTo<GenericTypeParamType>();
 
-    // Remove inverses that were either already mangled for this entity,
-    // or chosen not to be included in the output.
-    if (auto limit = inversesAlreadyMangledDepth)
-      if (gp->getDepth() <= limit)
-        return true;
+      // Remove inverses that were either already mangled for this entity,
+      // or chosen not to be included in the output.
+      if (auto limit = inversesAlreadyMangledDepth)
+        if (gp->getDepth() <= limit)
+          return true;
 
-    return false;
-  });
+      return false;
+    });
 
   // Sort inverse requirements for stability.
   llvm::array_pod_sort(
@@ -3487,7 +3487,7 @@ void ASTMangler::appendGenericSignatureParts(
 
   // Remember the depth to which inverses have just been appended.
   assert(!inversesAlreadyMangledDepth
-         || inversesAlreadyMangledDepth < inversesDepth);
+         || inversesAlreadyMangledDepth <= inversesDepth);
   inversesAlreadyMangledDepth = inversesDepth;
 
   if (params.size() == 1 && params[0]->getDepth() == initialParamDepth)