RequirementMachine: Record loops from trivially-resolved critical pairs

2025-12-21 12:14:44 +01:00 · 2021-10-16 21:39:52 -04:00
parent 1429dbe96b
commit cc833d98a5
1 changed files with 5 additions and 0 deletions
--- a/lib/AST/RequirementMachine/RewriteSystemCompletion.cpp
+++ b/lib/AST/RequirementMachine/RewriteSystemCompletion.cpp
@@ -618,8 +618,13 @@ RewriteSystem::computeConfluentCompletion(unsigned maxIterations,
      again = true;
    }

+    for (const auto &loop : resolvedLoops) {
+      recordHomotopyGenerator(loop);
+    }
+
    resolvedCriticalPairs.clear();
    resolvedPaths.clear();
+    resolvedLoops.clear();

    // If the added rules merged any associated types, process the merges now
    // before we continue with the completion procedure. This is important