RequirementMachine: Redo concrete contraction after splitting concrete equivalence classes#61199

Merged

slavapestov merged 2 commits intoswiftlang:mainfrom slavapestov:rqm-redo-concrete-contraction

Sep 20, 2022

+83-38

Commits on Sep 20, 2022