Commits

John McCall committed e6375f9aa73
Make sure that witness markers, conformances, and so on are attached to the representative dependent type in a generic signature. This simplifies certain kinds of analysis associated with generic signatures, especially for minimized generic signatures, since it means that ArchetypeBuilder::enumerateRequirements (and hence getCanonicalManglingSignature) will generally use the same dependent types as the original signature.