<div dir="ltr">I see, this quote from the introduction of SE-0142 is not to be taken literally then:<div><br></div><div><div>For example, the SequenceType protocol could be declared as follows if the current proposal was accepted:</div><div><br></div><div>protocol Sequence {</div><div> associatedtype Iterator : IteratorProtocol</div><div> associatedtype SubSequence : Sequence where SubSequence.Iterator.Element == Iterator.Element</div><div> ...</div><div>}</div></div><div><br></div><div>Don't want to nitpick, but it's hard to follow Swift's evolution when proposals like eg SE-0142 (and eg SE-0110) can have status "implemented" even though they contain statements and examples like the above which simply are not true (when compared to the compiler which supposedly implements the proposal).</div><div><br></div><div>Is there somewhere I can see what *part(s)* of an "implemented" proposal are *actually implemented*?</div><div><br></div><div>Otherwise, I think it would be less confusing if partly implemented proposals were marked as such.</div><div><br></div><div>/Jens</div><div><br></div><div><br></div><div><br><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Jun 7, 2017 at 9:47 AM, Slava Pestov <span dir="ltr"><<a href="mailto:spestov@apple.com" target="_blank">spestov@apple.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"><div style="word-wrap:break-word"><br><div><span class="gmail-"><blockquote type="cite"><div>On Jun 7, 2017, at 12:46 AM, Jens Persson <<a href="mailto:jens@bitcycle.com" target="_blank">jens@bitcycle.com</a>> wrote:</div><br class="gmail-m_-6284560145419692710Apple-interchange-newline"><div><div dir="ltr">Ok, I thought it was part of SE-0142 (which has status "implemented (Swift 4)”.</div></div></blockquote><div><br></div></span>That’s just the where clause part. There’s still plenty you can accomplish with them even if they do not introduce recursive conformances :)</div><span class="gmail-HOEnZb"><font color="#888888"><div><br></div><div>Slava</div></font></span><span class="gmail-"><div><br><blockquote type="cite"><div><div dir="ltr"><div>/Jens</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Jun 7, 2017 at 9:39 AM, Slava Pestov <span dir="ltr"><<a href="mailto:spestov@apple.com" target="_blank">spestov@apple.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex">This is a rather complex feature that is not actually implemented in Swift 4 (or Swift 3 for that matter). Work is underway to support this, though. The fact that the second example does not produce a diagnostic is a bug (probably you will not be able to define a type that conforms to P2 anyway).<br>
<br>
The proposal is here if you’d like to read more about it: <a href="https://github.com/apple/swift-evolution/blob/master/proposals/0157-recursive-protocol-constraints.md" rel="noreferrer" target="_blank">https://github.com/apple/swift<wbr>-evolution/blob/master/proposa<wbr>ls/0157-recursive-protocol-<wbr>constraints.md</a><br>
<br>
Slava<br>
<div><div class="gmail-m_-6284560145419692710h5"><br>
> On Jun 6, 2017, at 10:37 PM, Jens Persson via swift-users <<a href="mailto:swift-users@swift.org" target="_blank">swift-users@swift.org</a>> wrote:<br>
><br>
> In Swift 4:<br>
><br>
> protocol P1 {<br>
> associatedtype A: P1 // Error: Type may not reference itself as a requirement<br>
> }<br>
> protocol P2 {<br>
> associatedtype A where A: P2 // OK<br>
> }<br>
><br>
> What is the rationale behind this?<br>
><br>
> /Jens<br>
</div></div>> ______________________________<wbr>_________________<br>
> swift-users mailing list<br>
> <a href="mailto:swift-users@swift.org" target="_blank">swift-users@swift.org</a><br>
> <a href="https://lists.swift.org/mailman/listinfo/swift-users" rel="noreferrer" target="_blank">https://lists.swift.org/mailma<wbr>n/listinfo/swift-users</a><br>
<br>
</blockquote></div><br></div>
</div></blockquote></div><br></span></div></blockquote></div><br></div></div></div>