swift

378231cb - RequirementMachine: A better trick to tie off type witness recursion

RequirementMachine: A better trick to tie off type witness recursion This will replace the 'concrete type in domain' hack. Instead of finding some other type parameter with the same concrete type and a compatible starting symbol, this finds a prefix of the original term. This allows the induced same-type requirement to be described with a rewrite path.