RequirementMachine: Remove old minimal conformances algorithm#59900

Merged

slavapestov merged 3 commits intoswiftlang:mainfrom

slavapestov:rqm-remove-old-minimal-conformances

Jul 6, 2022

Commits on Jul 6, 2022

RequirementMachine: Remove old minimal conformances algorithm
slavapestov
committed
RequirementMachine: Remove completion procedure hacks for old minimal conformances algorithm
slavapestov
committed
RequirementMachine: Relax assertions in verifyRewriteSystem()
slavapestov
committed