swift
RequirementMachine: Remove old minimal conformances algorithm
#59900

Merged

RequirementMachine: Remove old minimal conformances algorithm #59900

slavapestov merged 3 commits into swiftlang:main from slavapestov:rqm-remove-old-minimal-conformances

slavapestov force pushed 3 years ago

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

RequirementMachine: Remove old minimal conformances algorithm

919101d4

RequirementMachine: Remove completion procedure hacks for old minimal…

d3b7aab7

RequirementMachine: Relax assertions in verifyRewriteSystem()

901cdaf8

slavapestov force pushed to 901cdaf8 3 years ago

slavapestov merged c4aa00f5 into main 3 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone