Update P/R for 4066

Author: jwakely

xml/issue4066.xml

@@ -45,11 +45,66 @@ input range feels like an extreme corner case."
 "This is just applying the contrived case mentioned in LWG <iref ref="3737"/>
 to `ranges::to`."
 </p>
+<superseded>
+<p>
+This wording is relative to <paper num="N4981"/>.
+</p>
+
+<ol>
+<li><p>Modify <sref ref="[range.utility.conv.to]"/> as indicated:</p>
+
+<blockquote>
+<pre>
+template&lt;class C, input_range R, class... Args&gt; requires (!view&lt;C&gt;)
+  constexpr C to(R&amp;&amp; r, Args&amp;&amp;... args);
+</pre>
+<blockquote>
+<p>
+-1- <i>Mandates</i>: <tt>C</tt> is a cv-unqualified class type.
+</p>
+<p>
+-2- <i>Returns</i>: An object of type <tt>C</tt> constructed from the elements of <tt>r</tt> in the following manner:
+</p>
+<ol style="list-style-type: none">
+<li><p>(2.1) &mdash; [&hellip;]</p>
+<ol style="list-style-type: none">
+<li><p>(2.1.1) &mdash; [&hellip;]</p></li>
+<li><p>(2.1.2) &mdash; [&hellip;]</p></li>
+<li><p>(2.1.3) &mdash; [&hellip;]</p></li>
+<li><p>(2.1.4) &mdash; Otherwise, if</p>
+<ol style="list-style-type: none">
+<li><p>(2.1.4.1) &mdash; <tt>constructible_from&lt;C, Args...&gt;</tt> is <tt>true</tt>, and</p></li>
+<li><p>(2.1.4.2) &mdash; <tt><i>container-appendable</i>&lt;C, range_reference_t&lt;R&gt;&gt;</tt> is
+<tt>true</tt>:</p>
+<blockquote>
+<pre>
+C c(std::forward&lt;Args&gt;(args)...);
+<ins>subrange s{r};</ins>
+if constexpr (<del>sized_range&lt;R&gt;</del><ins>requires { s.size(); }</ins> &amp;&amp; <i>reservable-container</i>&lt;C&gt;)
+  c.reserve(static_cast&lt;range_size_t&lt;C&gt;&gt;(<del>ranges::size(r)</del><ins>s.size()</ins>));
+ranges::for_each(<del>r</del><ins>s</ins>, <i>container-append</i>(c));
+</pre>
+</blockquote>
+</li>
+</ol>
+</li>
+</ol>
+</li>
+</ol>
+</blockquote>
+
+</blockquote>
+</li>
+</ol>
+</superseded>
+
+<note>2025-10-20; Jonathan provides updated wording</note>
+
 </discussion>
 
 <resolution>
 <p>
-This wording is relative to <paper num="N4981"/>.
+This wording is relative to <paper num="N5014"/>.
 </p>
 
 <ol>
@@ -82,7 +137,7 @@ template&lt;class C, input_range R, class... Args&gt; requires (!view&lt;C&gt;)
 <pre>
 C c(std::forward&lt;Args&gt;(args)...);
 <ins>subrange s{r};</ins>
-if constexpr (<del>sized_range&lt;R&gt;</del><ins>requires { s.size(); }</ins> &amp;&amp; <i>reservable-container</i>&lt;C&gt;)
+if constexpr (sized_range&lt;<del>R</del><ins>decltype(s)</ins>&gt; &amp;&amp; <i>reservable-container</i>&lt;C&gt;)
   c.reserve(static_cast&lt;range_size_t&lt;C&gt;&gt;(<del>ranges::size(r)</del><ins>s.size()</ins>));
 ranges::for_each(<del>r</del><ins>s</ins>, <i>container-append</i>(c));
 </pre>
@@ -98,6 +153,7 @@ ranges::for_each(<del>r</del><ins>s</ins>, <i>container-append</i>(c));
 </blockquote>
 </li>
 </ol>
+
 </resolution>
 
 </issue>