<div dir="ltr">On 25 November 2017 at 22:38, 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_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><span class="">On Sat, Nov 25, 2017 at 4:30 PM, Mike Kluev <span dir="ltr">&lt;<a href="mailto:mike.kluev@gmail.com" target="_blank">mike.kluev@gmail.com</a>&gt;</span> wrote:<br></span><div class="gmail_extra"><div class="gmail_quote"><span class=""><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><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><div class="gmail_quote"><span class="m_-5857024207606968569m_-3149584162428968126gmail-"><div dir="auto"><br></div></span></div></div></blockquote></span><div>i haven&#39;t encounter this notation before so it looks strange and requires some effort to decipher. if it was e.g. in this form:</div><div><br></div><div>extension (Equatable...) : Equatable</div><div><br></div><div>then it would be immediately obvious what it means, IMHO</div></div></div></div></blockquote><div><br></div></span><div>That reads to me like you are extending a tuple of type `(Equatable...)`. This is not the same as extending a tuple of type `(E...) where ...E : Equatable`.</div><div></div></div></div></div></blockquote></div></div><div class="gmail_extra"><br></div><div class="gmail_extra">and if Equatable is not a type but a protocol then the practical difference is what ?</div><div class="gmail_extra"><br></div><div class="gmail_extra">Mike</div><div class="gmail_extra"><br></div></div>