Commits
Doug Gregor committed be9c6f2d265
Track the member types of type variables explicitly within the constraint graph. This eliminates the duplication of type variables that represent the member types of existing type variables. I'm unable to trigger this with a test case at the moment, but it becomes important when we begin to substitute type variables through protocol conformances. Swift SVN r12971