swift

a46a7b89 - RequirementMachine: Check that homotopy reduction was able to eliminate all redundant conformances