On Sun, Apr 23, 2017 at 3:12 PM, Ben Cohen <[email protected]> wrote:

>
> On Apr 23, 2017, at 1:05 PM, Xiaodi Wu <[email protected]> wrote:
>
> Is it the intention that `associatedtype Filtered : Sequence` once
> recursive protocol constraints are supported?
>
>
> Yup. Will add clarification.
>
> Can it be `associatedtype Filtered : Collection`?
>
>
> Sequence.lazy.filter returns a Sequence.
>


Ah, right. Collection can refine the associatedtype and constrain to
Collection, yes?
_______________________________________________
swift-evolution mailing list
[email protected]
https://lists.swift.org/mailman/listinfo/swift-evolution

Reply via email to