swift
RequirementMachine: Reduce replacement paths for redundant rules to left-canonical normal form
#41614
Merged
Merged
RequirementMachine: Reduce replacement paths for redundant rules to left-canonical normal form #41614
slavapestov
merged
5 commits into
swiftlang:main
from
slavapestov:rqm-left-canonical-form
RequirementMachine: Reduce replacement paths for redundant rules to l…
713e0a4a
RequirementMachine: Relax criterion for deleting a useless loop
a0c30457
RequirementMachine: Add -enable-requirement-machine-loop-normalizatio…
95f122f1
RequirementMachine: New way of introducing concrete conformance rules
b6a641bc
AST: Stricter invariants in GenericSignature::verify()
cfdb937f
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Login to write a write a comment.
Login via GitHub