New P/R for 4154

xml/issue4154.xml

@@ -32,10 +32,36 @@ perhaps we should also so specify for `std::packaged_task`.
 Set priority to 3 after reflector poll.
 </p>
 <p>
-"Fix preconditions, since `f` doesn't need to be invocable, we only invoke
-the copy."
+"Fix preconditions, `f` doesn't need to be invocable, we only invoke the copy."
 </p>
 
+<superseded>
+<p>
+This wording is relative to <paper num="N4988"/>.
+</p>
+<ol>
+<li><p>Modify <sref ref="[futures.task.members]"/> as indicated:</p>
+<blockquote>
+<p>
+-3- <i>Mandates</i>:
+<code>is_invocable_r_v&lt;R, <del>F</del><ins>decay_t&lt;F&gt;</ins>&amp;, ArgTypes...&gt;</code>
+is `true`.
+</p>
+[...]
+<p>
+-5- <i>Effects</i>:
+Constructs a new `packaged_task` object with a shared state and initializes
+the object's stored task
+<ins>of type <code>decay_t&lt;F&gt;</code></ins>
+with <code>std::forward&lt;F&gt;(f)</code>.
+</p>
+</blockquote>
+</li>
+</ol>
+</superseded>
+
+<note>2024-10-02; Jonathan provides improved wording</note>
+
 </discussion>
 
 <resolution>
@@ -50,7 +76,10 @@ This wording is relative to <paper num="N4988"/>.
 <code>is_invocable_r_v&lt;R, <del>F</del><ins>decay_t&lt;F&gt;</ins>&amp;, ArgTypes...&gt;</code>
 is `true`.
 </p>
-[...]
+<p><del>-4- <i>Preconditions</i>:
+Invoking a copy of `f` behaves the same as invoking `f`.
+</del>
+</p>
 <p>
 -5- <i>Effects</i>:
 Constructs a new `packaged_task` object with a shared state and initializes