<div dir="ltr"><div class="gmail_quote"><div dir="ltr">On Thu, Aug 10, 2017 at 11:05 AM Jordan Rose &lt;<a href="mailto:jordan_rose@apple.com">jordan_rose@apple.com</a>&gt; wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word;line-break:after-white-space"><div>[Proposal: <a href="https://github.com/apple/swift-evolution/blob/master/proposals/0185-synthesize-equatable-hashable.md" target="_blank">https://github.com/apple/swift-evolution/blob/master/proposals/0185-synthesize-equatable-hashable.md</a>]</div><div><br></div>Hi, Tony. Glad to see this back again!<div><br></div><div>Overall I&#39;m an enthusiastic +1. The restrictions and future work you&#39;ve listed make sense, and I think this is the right starting place. I just have one thing I&#39;d want to clarify:</div><div><br></div><div><blockquote type="cite">Any user-provided implementations of == or hashValue will override the default implementations that would be provided by the compiler.<br></blockquote><br>Does this include implementations in (possibly constrained) protocol extensions? I assume yes, but that&#39;s probably worth calling out explicitly. Still, it could be confusing to some users.<br></div></div></blockquote><div><br></div><div>Yes, manual implementations added in extensions override the compiler-synthesized default:</div><div><br></div><div>Without constraints:</div><div><div>(swift) struct Foo: Equatable { let x: Int }</div><div>(swift) Foo(x: 5) == Foo(x: 6)</div><div>// r0 : Bool = false</div><div>(swift) Foo(x: 5) == Foo(x: 5)</div><div>// r1 : Bool = true</div><div>(swift) extension Foo { static func ==(lhs: Foo, rhs: Foo) -&gt; Bool { return lhs.x % 2 == rhs.x % 2 } }</div><div>(swift) Foo(x: 5) == Foo(x: 6)</div><div>// r2 : Bool = false</div><div>(swift) Foo(x: 5) == Foo(x: 7)</div><div>// r3 : Bool = true</div></div><div><br></div><div>With constraints:</div><div><div>(swift) struct Foo&lt;T: Equatable&gt;: Equatable { let t: T }</div><div>(swift) extension Foo where T == String { static func ==(lhs: Foo&lt;T&gt;, rhs: Foo&lt;T&gt;) -&gt; Bool { return lhs.t.characters.count == rhs.t.characters.count } }</div><div>(swift) Foo(t: &quot;foo&quot;) == Foo(t: &quot;bar&quot;)</div><div>// r0 : Bool = true</div><div>(swift) Foo(t: 5) == Foo(t: 7)</div><div>// r1 : Bool = false</div></div><div><br></div><div>I can update the text to make this explicit.</div><div><br></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word;line-break:after-white-space"><div></div></div><div style="word-wrap:break-word;line-break:after-white-space"><div><br></div><div>Jordan</div></div></blockquote></div></div>