swift234

[Protocol conformance] Infer associated type definitions from other witnesses.

While matching witnesses for functions, variables, and subscript
declarations, infer the type witnesses for associated types, rather
than requiring the user to write them explicitly.


Swift SVN r5798