swift
RequirementMachine: Remove old minimal conformances algorithm
#59900
Merged

RequirementMachine: Remove old minimal conformances algorithm #59900

slavapestov
slavapestov slavapestov force pushed 3 years ago
slavapestov slavapestov force pushed 3 years ago
slavapestov slavapestov marked this pull request as ready for review 3 years ago
slavapestov RequirementMachine: Remove old minimal conformances algorithm
919101d4
slavapestov RequirementMachine: Remove completion procedure hacks for old minimal…
d3b7aab7
slavapestov RequirementMachine: Relax assertions in verifyRewriteSystem()
901cdaf8
slavapestov slavapestov force pushed to 901cdaf8 3 years ago
slavapestov
slavapestov slavapestov merged c4aa00f5 into main 3 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
Milestone