Commits
Doug Gregor committed f6ff2977f30
Tighten up the semantics of inherited conformances. 'Self' can be used within parameters whenever the corresponding parameter in a subclass will be contravariant, and in result types when the method returns dynamic Self. This also applies to subscript indices. More of <rdar://problem/16996872>. Swift SVN r18788