swift
RequirementMachine: New minimal conformances algorithm
#59861

Merged

RequirementMachine: New minimal conformances algorithm #59861

slavapestov merged 4 commits into swiftlang:main from slavapestov:rqm-new-minimal-conformances

RequirementMachine: Const correctness

2caca13e

RequirementMachine: Move decomposeTermIntoConformanceRuleLeftHandSide…

e3488cec

RequirementMachine: Relax an invariant in decomposeTermIntoConformanc…

93b94f92

RequirementMachine: New minimal conformances algorithm

506cc356

slavapestov force pushed from e4fd5f5b to 506cc356 3 years ago

slavapestov marked this pull request as ready for review 3 years ago

slavapestov merged 1123a19f into main 3 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone