[swift-evolution] Request for information about constrained protocol inheritance

Xiaodi Wu xiaodi.wu at gmail.com
Wed Jul 5 00:53:19 CDT 2017


Replying to swift-users as well, as it's probably the more appropriate
forum.

SE-0142 (Permit where clauses to constrain associated types) is what
brought about this feature. It is now used in the standard library.


On Wed, Jul 5, 2017 at 00:26 Jens Persson via swift-evolution <
swift-evolution at swift.org> wrote:

> The following compiles in Swift 4 (but not in Swift 3.1):
>
> protocol P1 {
>     associatedtype A
> }
> protocol P2 : P1 where A == Int {
> }
>
> I've not been able to find any proposal, discussion or documentation
> mentioning it so any pointers to such would be greatly appreciated.
>
> Also, is this new feature used somewhere in the std lib?
>
> /Jens
> _______________________________________________
> swift-evolution mailing list
> swift-evolution at swift.org
> https://lists.swift.org/mailman/listinfo/swift-evolution
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-evolution/attachments/20170705/139155ee/attachment.html>


More information about the swift-evolution mailing list