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

[Jens Persson]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-evolution/attachments/20170705/2addd2ee/attachment.html>