<div dir="ltr"><br><br><div class="gmail_quote"><div dir="ltr">On Thu, Sep 7, 2017 at 10:39 AM Gwendal Roué &lt;<a href="mailto:gwendal.roue@gmail.com">gwendal.roue@gmail.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"><div><blockquote type="cite"><div>Le 7 sept. 2017 à 14:45, Tony Allevato &lt;<a href="mailto:tony.allevato@gmail.com" target="_blank">tony.allevato@gmail.com</a>&gt; a écrit :</div><br class="m_9067213542021244859Apple-interchange-newline"><div><span style="font-family:Helvetica;font-size:12px;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;float:none;display:inline!important">Right, let&#39;s make sure we&#39;re talking about the right thing here. Gwendal, your issue isn&#39;t with synthesis in the form of Codable or the new additions to Equatable/Hashable which are opt-in-by-conformance, it&#39;s with the specific case of raw value enums or enums without associated values where the synthesis is implicit with no way to opt-out. That&#39;s a big difference.</span><br style="font-family:Helvetica;font-size:12px;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"></div></blockquote><div><br></div></div></div><div style="word-wrap:break-word"><div>Yes.</div><div></div></div><div style="word-wrap:break-word"><div><br><blockquote type="cite"><div><span style="font-family:Helvetica;font-size:12px;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;float:none;display:inline!important">I can definitely see the latter being an issue if it were more widespread, and I&#39;d be supportive of those enums being required to declare their conformance for consistency (though it would be source breaking).</span><br style="font-family:Helvetica;font-size:12px;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"></div></blockquote><div><br></div></div></div><div style="word-wrap:break-word"><div>Yes, unfortunately.</div></div><div style="word-wrap:break-word"><div><br><br><blockquote type="cite"><div><span style="font-family:Helvetica;font-size:12px;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;float:none;display:inline!important">However, I still haven&#39;t seen a real issue that has come up because of the distinction being drawn here between default implementations vs. implementations that can access other parts of the concrete type. It sounds like this discussion is trying to protect against a hypothetical problem that hasn&#39;t happened yet and may not happen; it would be helpful to show some motivating real-world cases where this is indeed a severe problem.</span></div></blockquote><br></div></div><div style="word-wrap:break-word"><div></div><div>Yes. I&#39;m not talking about implementation itself. I know this has been the main topic until I have tried to bring in the topic of the consequences of non-avoidable synthesis (extra methods that may conflict with userland methods).</div><div><br></div><div>If you ask me for a real-world case, then I think I gave one. Let me rephrase it:</div><div><br></div><div>it&#39;s impossible to define a value-backed enum without getting free Equatable conformance. This free conformance is sometimes unwanted, and I gave the example of DSLs. Now this problem is not *severe*. It&#39;s more a blind spot in the language, and finally just an unwanted side-effect of a compiler convenience,</div></div></blockquote><div><br></div><div>Again, this is not the issue that Haravikk is describing in this thread.</div><div><br></div><div>I&#39;ll clarify—your issue is specifically with the fact that enums with raw values and enums without associated values receive Equatable even without explicitly conforming to it, and therefore users have no way of opting out of it. This predates SE-0185, and I didn&#39;t propose making any changes to the conformance of those enums for source compatibility reasons, though I wouldn&#39;t be opposed to it because it makes them consistent across the board.</div><div><br></div><div>Haravikk&#39;s argument is about synthesized conformances like Codable and Equatable/Hashable in SE-0185, where the user must explicitly conform the type to those protocols. His claim is that that act of opting in is not sufficient and that it is still dangerous if those synthesized conformances can access members that are not also declared in the protocol. That&#39;s a completely separate issue to yours, and one that I hope he&#39;ll present more evidence of. Right now, requiring that you not only explicitly conform to the protocol but also explicitly request the synthesis feels like a solution without an actual problem, and is a situation we already have today with default method implementations.</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"><div><br></div><div>This example gives a little argument, but still an argument, for &quot;explicit synthetic behavior&quot;, the topic of this thread.</div></div><div style="word-wrap:break-word"><div><br></div><div>Gwendal Roué</div><div><br></div></div></blockquote></div></div>