> Hmm, I can see the appeal of automatically deriving Equatable and Hashable conformance, but I'd like that to be opt-in. That is, types should declare that they are Equatable or Hashable to begin with. It wouldn't have to take extra syntax, as compiler magic could effectively synthesize default implementations for == and/or hashValue when all members are themselves Equatable or Hashable, respectively. With such a scheme, consideration can be made to accommodating classes too. Completely agreed. -- Chris Lattner

1:40 AM

Please follow the precedent of the Codable proposal as closely as possible. If you’d like this to be successful for Swift 4, you should look to scope it as narrowly as possible. Because it is additive (with opt-in), it can always be extended in the future. -- Chris Lattner