swift

4dee0d9c - [GSB] Infer equivalence of same-named nested types of the same potential archetype.

[GSB] Infer equivalence of same-named nested types of the same potential archetype. When we have two nested types of a given potential archetype that have the same name, introduce a (quietly) inferred constraint. This is a future-proofing step for canonicalization, for a possible future where we no longer require all of the nested types of a given name to be equivalent, e.g., because we have a proper disambiguation mechanism.