> On Apr 23, 2017, at 1:30 PM, Xiaodi Wu <[email protected]> wrote: > > On Sun, Apr 23, 2017 at 3:12 PM, Ben Cohen <[email protected] > <mailto:[email protected]>> wrote: > >> On Apr 23, 2017, at 1:05 PM, Xiaodi Wu <[email protected] >> <mailto:[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? >
…yes, I think so. But that’s as far as we’d want to go e.g. a lazily filtered random-access collection is only bi-directional.
_______________________________________________ swift-evolution mailing list [email protected] https://lists.swift.org/mailman/listinfo/swift-evolution
