swift234

Sema: Don't produce requirements for dependent members that have been constrained to concrete types.

If a same type concrete constraint has constrained away a potential archetype, it won't have a substitution or an entry in getAllArchetypes. In order for the WitnessMarkers in a generic signature to remain aligned, we shouldn't emit requirements (other than the same-type requirement) either.

Swift SVN r14945