> On Jul 10, 2017, at 5:16 PM, William Shipley via swift-evolution > <[email protected]> wrote: > > (Note the horrible hack on KeyedEncodingContainer where I had to special-case > arrays of <Equatable>s, I guess because the compiler doesn’t know an array of > <Equatable>s is Equatable itself?)
Correct. Swift does not yet have the necessary language machinery to express "Array<T> is Equatable whenever T is Equatable". SE-0143 "Conditional conformances" is approved but not yet implemented. https://github.com/apple/swift-evolution/blob/master/proposals/0143-conditional-conformances.md <https://github.com/apple/swift-evolution/blob/master/proposals/0143-conditional-conformances.md> -- Greg Parker [email protected] <mailto:[email protected]> Runtime Wrangler
_______________________________________________ swift-evolution mailing list [email protected] https://lists.swift.org/mailman/listinfo/swift-evolution
