<div dir="ltr">I concur with Joe Groff and John McCall, this proposal does not seem to be the right approach.<div><br></div><div>What I would really like is the complete elimination of implicit coercion to Optional (implicit type conversions are not Swifty!) and the simultaneous introduction of a simple notation for doing so explicitly.</div><div><br></div><div>If we can make it play nice with optional chaining, then a postfix `?` operator is the natural choice: `(42?, &quot;babel fish&quot;?, mattressSwamp?)` would be a tuple of optionals, and `(1, 2, 3)?` an optional tuple.</div><div><br></div><div>Nevin</div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Jul 13, 2016 at 1:16 PM, John McCall via swift-evolution <span dir="ltr">&lt;<a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">&gt; On Jul 13, 2016, at 10:06 AM, Joe Groff via swift-evolution &lt;<a href="mailto:swift-evolution@swift.org">swift-evolution@swift.org</a>&gt; wrote:<br>
&gt; -1. This feels like a band-aid rather than a well-considered fix to the issues raised in the proposal. I don&#39;t see what makes operators as a class of functions more or less susceptible to these surprising optional upcasts. Removing the comparison operators for optionals will resolve the issue with &#39;&lt;&#39;, and if we&#39;re concerned about &#39;??&#39;, an unavailable overload for ??(T, T) could address that specific issue. Optional promotion in operators is clearly useful in many cases, as the proposal itself concedes by special-case exempting the assignment operator from the restriction and proposing the addition of more than a dozen overloads to restore the equivalent of explicit promotion behavior for specific operators, and that doing so accepts other undesirable formulations like &#39;nonOptional == nil&#39;. This proposal doesn&#39;t make a compelling case that being an operator is the correct criterion to disable optional promotion.<br>
<br>
</span>Agreed.  To me, the right solution is some attribute to suppress promotion for specific arguments.<br>
<br>
When we get to decl-based overload resolution, this will become straightforward to implement.<br>
<br>
John.<br>
<div class="HOEnZb"><div class="h5"><br>
&gt;<br>
&gt; -Joe<br>
&gt;<br>
&gt;&gt; On Jul 12, 2016, at 10:25 PM, Chris Lattner via swift-evolution &lt;<a href="mailto:swift-evolution@swift.org">swift-evolution@swift.org</a>&gt; wrote:<br>
&gt;&gt;<br>
&gt;&gt; Hello Swift community,<br>
&gt;&gt;<br>
&gt;&gt; The review of &quot;SE-0123: Disallow coercion to optionals in operator arguments&quot; begins now and runs through July 19. The proposal is available here:<br>
&gt;&gt;<br>
&gt;&gt;      <a href="https://github.com/apple/swift-evolution/blob/master/proposals/0123-disallow-value-to-optional-coercion-in-operator-arguments.md" rel="noreferrer" target="_blank">https://github.com/apple/swift-evolution/blob/master/proposals/0123-disallow-value-to-optional-coercion-in-operator-arguments.md</a><br>
&gt;&gt;<br>
&gt;&gt; Reviews are an important part of the Swift evolution process. All reviews should be sent to the swift-evolution mailing list at<br>
&gt;&gt;<br>
&gt;&gt;      <a href="https://lists.swift.org/mailman/listinfo/swift-evolution" rel="noreferrer" target="_blank">https://lists.swift.org/mailman/listinfo/swift-evolution</a><br>
&gt;&gt;<br>
&gt;&gt; or, if you would like to keep your feedback private, directly to the review manager.<br>
&gt;&gt;<br>
&gt;&gt; What goes into a review?<br>
&gt;&gt;<br>
&gt;&gt; The goal of the review process is to improve the proposal under review through constructive criticism and contribute to the direction of Swift. When writing your review, here are some questions you might want to answer in your review:<br>
&gt;&gt;<br>
&gt;&gt;      * What is your evaluation of the proposal?<br>
&gt;&gt;      * Is the problem being addressed significant enough to warrant a change to Swift?<br>
&gt;&gt;      * Does this proposal fit well with the feel and direction of Swift?<br>
&gt;&gt;      * If you have used other languages or libraries with a similar feature, how do you feel that this proposal compares to those?<br>
&gt;&gt;      * How much effort did you put into your review? A glance, a quick reading, or an in-depth study?<br>
&gt;&gt;<br>
&gt;&gt; More information about the Swift evolution process is available at<br>
&gt;&gt;<br>
&gt;&gt;      <a href="https://github.com/apple/swift-evolution/blob/master/process.md" rel="noreferrer" target="_blank">https://github.com/apple/swift-evolution/blob/master/process.md</a><br>
&gt;&gt;<br>
&gt;&gt; Thank you,<br>
&gt;&gt;<br>
&gt;&gt; -Chris Lattner<br>
&gt;&gt; Review Manager<br>
&gt;&gt;<br>
&gt;&gt; _______________________________________________<br>
&gt;&gt; swift-evolution mailing list<br>
&gt;&gt; <a href="mailto:swift-evolution@swift.org">swift-evolution@swift.org</a><br>
&gt;&gt; <a href="https://lists.swift.org/mailman/listinfo/swift-evolution" rel="noreferrer" target="_blank">https://lists.swift.org/mailman/listinfo/swift-evolution</a><br>
&gt;<br>
&gt; _______________________________________________<br>
&gt; swift-evolution mailing list<br>
&gt; <a href="mailto:swift-evolution@swift.org">swift-evolution@swift.org</a><br>
&gt; <a href="https://lists.swift.org/mailman/listinfo/swift-evolution" rel="noreferrer" target="_blank">https://lists.swift.org/mailman/listinfo/swift-evolution</a><br>
<br>
_______________________________________________<br>
swift-evolution mailing list<br>
<a href="mailto:swift-evolution@swift.org">swift-evolution@swift.org</a><br>
<a href="https://lists.swift.org/mailman/listinfo/swift-evolution" rel="noreferrer" target="_blank">https://lists.swift.org/mailman/listinfo/swift-evolution</a><br>
</div></div></blockquote></div><br></div>