swift
RequirementMachine: Sketch out "generating conformances" algorithm
#39474

Merged

RequirementMachine: Sketch out "generating conformances" algorithm #39474

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

RequirementMachine: Add a mode allowing unresolved name symbols in re…

7ad0c3cc

RequirementMachine: Remove unused method

2923a334

RequirementMachine: Homotopy reduction tweaks

5f3d781e

RequirementMachine: Sketch out "generating conformances" algorithm

64d1931e

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

slavapestov merged b654bf0f into main 4 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone