<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Sun, Apr 23, 2017 at 3:12 PM, Ben Cohen <span dir="ltr">&lt;<a href="mailto:ben_cohen@apple.com" target="_blank">ben_cohen@apple.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><br><div><span class=""><blockquote type="cite"><div>On Apr 23, 2017, at 1:05 PM, Xiaodi Wu &lt;<a href="mailto:xiaodi.wu@gmail.com" target="_blank">xiaodi.wu@gmail.com</a>&gt; wrote:</div><br class="m_-1149583823872096012Apple-interchange-newline"><div><div dir="ltr">Is it the intention that `associatedtype Filtered : Sequence` once recursive protocol constraints are supported? </div></div></blockquote><div><br></div></span><div>Yup. Will add clarification.</div><span class=""><br><blockquote type="cite"><div><div dir="ltr">Can it be `associatedtype Filtered : Collection`?<div class="gmail_extra"><br></div></div></div></blockquote><div><br></div></span><div>Sequence.lazy.filter returns a Sequence.</div></div></div></blockquote><div><br></div><div><br></div><div>Ah, right. Collection can refine the associatedtype and constrain to Collection, yes?</div><div><br></div></div></div></div>