Merge pull request swiftlang#39479 from slavapestov/rqm-improved-generating-conformances

RequirementMachine: Improvements and fixes for generating conformances algorithm

Author: slavapestov