RequirementMachine: Protocol reduction order refactoring #39864
slavapestov
merged
4 commits into
swiftlang:main
from
slavapestov:rqm-refactor-protocol-linear-order
RequirementMachine: New linear order on associated type symbols
941438d6
RequirementMachine: Move protocol linear order from ProtocolGraph to …
0571b65c
RequirementMachine: Simplify ProtocolGraph
caea4607
RequirementMachine: Fold what remains of ProtocolGraph into RewriteSy…
e0a33445
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Login to write a write a comment.
Login via GitHub