On 25 November 2017 at 22:38, Xiaodi Wu <xiaodi...@gmail.com> wrote: > On Sat, Nov 25, 2017 at 4:30 PM, Mike Kluev <mike.kl...@gmail.com> wrote: > >> >>> i haven't encounter this notation before so it looks strange and >> requires some effort to decipher. if it was e.g. in this form: >> >> extension (Equatable...) : Equatable >> >> then it would be immediately obvious what it means, IMHO >> > > 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`. >
and if Equatable is not a type but a protocol then the practical difference is what ? Mike
_______________________________________________ swift-evolution mailing list swift-evolution@swift.org https://lists.swift.org/mailman/listinfo/swift-evolution