Commits
Doug Gregor committed b94f3bf78bb
Use conforms-to constraints to capture protocol conformance. Previously, we used conversion constraints, which caused the type checker to deduce existentials when it shouldn't. Fixes <rdar://problem/13862406> and <rdar://problem/13991850>. Swift SVN r5428