<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Mon, Apr 11, 2016 at 11:56 AM, Dave Abrahams via swift-evolution <span dir="ltr">&lt;<a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class=""><br>
on Mon Apr 11 2016, Jacob Bandes-Storch &lt;<a href="mailto:swift-evolution@swift.org">swift-evolution@swift.org</a>&gt; wrote:<br>
<br>
&gt; Doug wrote this in the Completing Generics manifesto, under &quot;Minor extensions&quot;:<br>
&gt;<br>
&gt;     *Arbitrary requirements in protocols<br>
&gt;<br>
&gt;     Currently, a new protocol can inherit from other protocols, introduce new<br>
&gt;     associated types, and add new conformance constraints to associated types<br>
&gt;     (by redeclaring an associated type from an inherited protocol). However, one<br>
&gt;     cannot express more general constraints. Building on the example from<br>
&gt;     “Recursive protocol constraints”, we really want the element type of a<br>
&gt;     Sequence’s SubSequence to be the same as the element type of the Sequence,<br>
&gt;     e.g.,<br>
&gt;<br>
&gt;     protocol Sequence {<br>
&gt;     associatedtype Iterator : IteratorProtocol<br>
&gt;     …<br>
&gt;     associatedtype SubSequence : Sequence where SubSequence.Iterator.Element ==<br>
&gt;     Iterator.Element<br>
&gt;     }<br>
&gt;<br>
&gt; +1.<br>
&gt;<br>
&gt; To make it into Swift 3, would this feature require a proposal of its<br>
&gt; own?<br>
<br>
</span>It could be part of another proposal, but it should be in a proposal.<br>
Whether or not it can still make Swift 3, I am unsure.<br>
<span class=""><br>
&gt; How feasible would it be to implement on top of the current system?<br>
<br>
</span>I can&#39;t answer that, but if you want to work on this I&#39;d suggest<br>
starting with the implementation.  In this case, the proposal is the<br>
easy part.<br></blockquote><div><br></div><div>I was mostly wondering if anyone inside the team has already thought about how to do this, or perhaps even started working on it. If it&#39;s in the pipeline, it might affect our discussion about &quot;allValues&quot; for enums (which I&#39;m going to send an email about soon).</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<span class="HOEnZb"><font color="#888888"><br>
--<br>
Dave<br>
<br>
_______________________________________________<br>
swift-evolution mailing list<br>
<a href="mailto:swift-evolution@swift.org">swift-evolution@swift.org</a><br>
<a href="https://lists.swift.org/mailman/listinfo/swift-evolution" rel="noreferrer" target="_blank">https://lists.swift.org/mailman/listinfo/swift-evolution</a><br>
</font></span></blockquote></div><br></div></div>