swift234

Allow type substitutions to look up a member type of a type variable.

Use the just-introduced functionality to track the member types of a
type variable to allow type substitution to look up a member type of a
type variable, rather than failing to substitute. NFC yet.

Swift SVN r12972