From 8dce3b211d363df48d83fad34bff3e45913c690c Mon Sep 17 00:00:00 2001
From: Jonathan Wakely <cxx@kayari.org>
Date: Wed, 2 Oct 2024 13:49:05 +0100
Subject: [PATCH] Add more context to the new P/R for 4154

---
 xml/issue4154.xml | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/xml/issue4154.xml b/xml/issue4154.xml
index 26e5622f70..2d971ec09d 100644
--- a/xml/issue4154.xml
+++ b/xml/issue4154.xml
@@ -71,12 +71,20 @@ This wording is relative to <paper num="N4988"/>.
 <ol>
 <li><p>Modify <sref ref="[futures.task.members]"/> as indicated:</p>
 <blockquote>
+<pre><code>template&lt;class F&gt;
+  explicit packaged_task(F&amp;&amp; f);</code></pre>
+<p>
+-2- <i>Constraints</i>:
+<code>remove_cvref_t&lt;F&gt;</code> is not the same type as
+<code>packaged_task&lt;R(ArgTypes...)&gt;</code>.
+</p>
 <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><del>-4- <i>Preconditions</i>:
+<p>
+<del>-4- <i>Preconditions</i>:
 Invoking a copy of `f` behaves the same as invoking `f`.
 </del>
 </p>