Merge remote-tracking branch 'origin/main' into next

This commit is contained in:
swift_jenkins
2022-01-28 08:20:51 -08:00
10 changed files with 265 additions and 106 deletions

View File

@@ -509,7 +509,7 @@ namespace swift {
/// Maximum term length for requirement machine Knuth-Bendix completion
/// algorithm.
unsigned RequirementMachineDepthLimit = 10;
unsigned RequirementMachineDepthLimit = 12;
/// Enable the new experimental protocol requirement signature minimization
/// algorithm.