swift234

When checking explicit conformance for a generic type, use the type as declared in its context.

The type as declared within its context contains the archetypes used
when type-checking that context, rather than being an unbound type, so
associated types will get correctly substituted while checking
conformance. Fixes the main issues with <rdar://problem/13153805> and
<rdar://problem/13992060>, although neither as actually completely done.


Swift SVN r5484