tree e150d468329550cc788660c05f917efcd216b3a2
parent a93717988c93b4915844cd4cfbec7f3c5ae9084c
author Doug Gregor <dgregor@apple.com> 1512753958 -0800
committer Doug Gregor <dgregor@apple.com> 1512889524 -0800

[Conformance checking] Factor out associated type inference.

Move associated type inference into its own class, to make this
code easier to understand/maintain/improve. Minor diagnostics changes
because we're properly passing uninference associated type declarations
to the "group" checker.