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
[email protected]
https://lists.swift.org/mailman/listinfo/swift-evolution

Reply via email to