swift234

Improve protocol conformance checking for generic types.

When we find a witness, substitute the base into its type to produce
an actual, useful type to compare against the requirement. This covers
both associated types and function/variable witnesses. Fixes
<rdar://problem/13153805> and <rdar://problem/13992060>.


Swift SVN r5486