swift234

When creating substituted type for a SpecializeExpr, validate the type.

Validating the type ensures that we collect all of the
protocol-conformance bindings we need for the bound generic
types. Additionally, check that BoundGenericTypes have exactly the
right number of arguments, which would have caught the bug fixed in
r5050.

Fixes <rdar://problem/13818785>.


Swift SVN r5062