RequirementMachine: Factor out a utility for building a rewrite path unifying to concrete type rules
RequirementMachine: Factor out a utility for building a rewrite path unifying to concrete type rules

gregomni/swift,ahoppen/swift,glessard/swift,gregomni/swift,roambotics/swift,apple/swift,rudkx/swift,roambotics/swift,gregomni/swift,rudkx/swift,benlangmuir/swift,roambotics/swift,JGiola/swift,atrick/swift,atrick/swift,ahoppen/swift,glessard/swift,roambotics/swift,JGiola/swift,benlangmuir/swift,rudkx/swift,roambotics/swift,rudkx/swift,JGiola/swift,apple/swift,JGiola/swift,JGiola/swift,ahoppen/swift,apple/swift,rudkx/swift,atrick/swift,atrick/swift,glessard/swift,atrick/swift,glessard/swift,rudkx/swift,benlangmuir/swift,ahoppen/swift,glessard/swift,benlangmuir/swift,benlangmuir/swift,gregomni/swift,apple/swift,JGiola/swift,gregomni/swift,ahoppen/swift,glessard/swift,benlangmuir/swift,apple/swift,roambotics/swift,atrick/swift,apple/swift,ahoppen/swift,gregomni/swift