<div dir="ltr"><div class="gmail_extra">On 25 November 2017 at 03:12, Xiaodi Wu <span dir="ltr">&lt;<a href="mailto:xiaodi.wu@gmail.com" target="_blank">xiaodi.wu@gmail.com</a>&gt;</span> wrote:<br><div class="gmail_quote"><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 dir="ltr"><span class="gmail-">On Fri, Nov 24, 2017 at 9:08 PM, Mike Kluev 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></span><div class="gmail_extra"><div class="gmail_quote"><span class="gmail-"><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 dir="ltr"><span>On 24 November 2017 at 23:47, Douglas Gregor <span dir="ltr">&lt;<a href="mailto:dgregor@apple.com" target="_blank">dgregor@apple.com</a>&gt;</span> wrote:<br></span><div class="gmail_extra"><div class="gmail_quote"><span><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;line-break:after-white-space"><div><br></div><div>e.g., making all tuples of Equatable elements Equatable </div><div><br></div></div></blockquote><div><br></div></span><div>that&#39;s already the case.. (all tuples of equatable elements are equatable). no?</div></div></div></div></blockquote><div><br></div></span><div>No, tuples do not conform to any protocols. There are hardcoded implementations of `==` up to some arity in the stdlib to partially mitigate the lack of protocol conformance.</div><div><br></div></div></div></div></blockquote><div><br></div>to me as a user the end result is the same...</div><div class="gmail_quote"><div>probably we need a better convincing example of what users may want that doesn&#39;t have a workaround now.</div><div><br></div><div>speaking of ugliness, the ellipsis on the left of names is quite ugly:</div><div><br></div><div>     extension&lt;...Elements : Equatable&gt; (Elements...) : Equatable<br></div><div><br></div><div>Mike</div><div><br></div></div></div></div>