Add updated wording for LWG 4143

Author: timsong-cpp

xml/issue4143.xml

@@ -30,9 +30,7 @@ Should require the expressions to have type `void`,
 rather than just discarding anything that is returned.
 </p>
 
-</discussion>
-
-<resolution>
+<superseded>
 <p>
 This wording is relative to <paper num="N4988"/>.
 </p>
@@ -90,6 +88,78 @@ expression-equivalent to <tt><i>MANDATE-NOTHROW</i>(<ins>void(</ins>op.start()<i
 </li>
 </ol>
 
+</superseded>
+
+<note>2026-03-27; Tim provides new wording</note>
+
+</discussion>
+
+<resolution>
+
+<p>
+This wording is relative to <paper num="N4988"/>.
+</p>
+
+<ol>
+<li><p>Modify <sref ref="[exec.set.value]"/> as indicated:</p>
+
+<blockquote>
+<p>
+-1- <tt>set_value</tt> is a value completion function (<sref ref="[exec.async.ops]"/>).
+Its associated completion tag is <tt>set_value_t</tt>. The expression <tt>set_value(rcvr, vs...)</tt>
+for a subexpression <tt>rcvr</tt> and pack of subexpressions <tt>vs</tt> is ill-formed if
+<tt>rcvr</tt> is an lvalue or an rvalue of const type. Otherwise, it is expression-equivalent to
+<tt><i>MANDATE-NOTHROW</i>(rcvr.set_value(vs...))</tt>.
+<p/>
+<ins><i>Mandates</i>: If the expression above is well-formed, its type is `void`.</ins>
+</p>
+</blockquote>
+</li>
+
+<li><p>Modify <sref ref="[exec.set.error]"/> as indicated:</p>
+
+<blockquote>
+<p>
+-1- <tt>set_error</tt> is an error completion function (<sref ref="[exec.async.ops]"/>).
+Its associated completion tag is <tt>set_error_t</tt>. The expression <tt>set_error(rcvr, err)</tt>
+for some subexpressions <tt>rcvr</tt> and <tt>err</tt> is ill-formed if <tt>rcvr</tt> is an
+lvalue or an rvalue of const type. Otherwise, it is expression-equivalent to
+<tt><i>MANDATE-NOTHROW</i>(rcvr.set_error(err))</tt>.
+<p/>
+<ins><i>Mandates</i>: If the expression above is well-formed, its type is `void`.</ins>
+</p>
+</blockquote>
+</li>
+
+<li><p>Modify <sref ref="[exec.set.stopped]"/> as indicated:</p>
+
+<blockquote>
+<p>
+-1- <tt>set_stopped</tt> is a stopped completion function (<sref ref="[exec.async.ops]"/>).
+Its associated completion tag is <tt>set_stopped_t</tt>. The expression <tt>set_stopped(rcvr)</tt>
+for a subexpression <tt>rcvr</tt> is ill-formed if <tt>rcvr</tt> is an lvalue or an rvalue of
+const type. Otherwise, it is expression-equivalent to
+<tt><i>MANDATE-NOTHROW</i>(rcvr.set_stopped())</tt>.
+<p/>
+<ins><i>Mandates</i>: If the expression above is well-formed, its type is `void`.</ins>
+</p>
+</blockquote>
+</li>
+
+<li><p>Modify <sref ref="[exec.opstate.start]"/> as indicated:</p>
+
+<blockquote>
+<p>
+-1- The name <tt>start</tt> denotes a customization point object that starts (<sref ref="[exec.async.ops]"/>)
+the asynchronous operation associated with the operation state object. For a subexpression <tt>op</tt>,
+the expression <tt>start(op)</tt> is ill-formed if <tt>op</tt> is an rvalue. Otherwise, it is
+expression-equivalent to <tt><i>MANDATE-NOTHROW</i>(op.start())</tt>.
+<p/>
+<ins><i>Mandates</i>: If the expression above is well-formed, its type is `void`.</ins>
+</p>
+</blockquote>
+</li>
+</ol>
 </resolution>
 
 </issue>