tree c099026a080f8b23d4fc2eedea60ccdfa968d387
parent 0f7c822371cb0694ddc1bc9957fd29643b0284d7
author Doug Gregor <dgregor@apple.com> 1520639278 -0800
committer Doug Gregor <dgregor@apple.com> 1520837723 -0700

[GSB] Push potential archetype realization slightly deeper.

Same-type constraints are (still) described in terms of potential
archetypes, so push the "realization" operation for potential
archetypes down into the function that adds a same-type constraint
between type parameters.