Commits
Doug Gregor committed 8f31e03ebd8
Completely check the requirements of a protocol as part of validation. We were doing piecemeal checking of the requirements of specific associated type bindings, but such checking is incomplete: superclass constraints and, although currently inexpressible, same-type constraints are not validated by these early checks, so this is more correct and more robust. Swift SVN r29808