On 25 November 2017 at 22:38, Xiaodi Wu <[email protected]> wrote: > On Sat, Nov 25, 2017 at 4:30 PM, Mike Kluev <[email protected]> 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 [email protected] https://lists.swift.org/mailman/listinfo/swift-evolution
