Commits
Doug Gregor committed b95851ecaf8
Tighten up our validation of potential witnesses during type witness inference. With prior changes to make conformance checking more lazy, this gets r27617 working. More auditing and testing of this visitor to follow. Swift SVN r27658