Automatic update from GitHub Actions workflow

Author: github-actions

issue4255.html

@@ -64,7 +64,7 @@
 <p><em>This page is a snapshot from the LWG issues list, see the <a href="lwg-active.html">Library Active Issues List</a> for more information and the meaning of <a href="lwg-active.html#New">New</a> status.</em></p>
 <h3 id="4255"><a href="lwg-active.html#4255">4255</a>. move_only_function constructor should recognize empty copyable_functions</h3>
 <p><b>Section:</b> 22.10.17.4.3 <a href="https://wg21.link/func.wrap.move.ctor">[func.wrap.move.ctor]</a> <b>Status:</b> <a href="lwg-active.html#New">New</a>
- <b>Submitter:</b> Tomasz Kami&nacute;ski <b>Opened:</b> 2025-05-12 <b>Last modified:</b> 2025-05-12</p>
+ <b>Submitter:</b> Tomasz Kami&nacute;ski <b>Opened:</b> 2025-05-12 <b>Last modified:</b> 2025-05-18</p>
 <p><b>Priority: </b>Not Prioritized
 </p>
 <p><b>View other</b> <a href="lwg-index-open.html#func.wrap.move.ctor">active issues</a> in [func.wrap.move.ctor].</p>
@@ -74,36 +74,34 @@ <h3 id="4255"><a href="lwg-active.html#4255">4255</a>. move_only_function constr
 <p>
 The standard currently requires that constructing <code>move_only_function</code>
 from empty <code>copyable_function</code>, creates an non-empty <code>move_only_function</code>,
-that contains an empty <code>copyable_function</code> as the target. For exampe:
-<code>
+that contains an empty <code>copyable_function</code> as the target. For example:
+</p>
+<blockquote><pre>
 std::copyable_function&lt;int(int)&gt; ce;
 std::move_only_function&lt;int(int)&gt; me(ce);
-</code>
+</pre></blockquote>
+<p>
 We require that invoking <code>me(1)</code> is undefined behavior (as it leads to call to the
 <code>ce(1)</code>), however it cannot be detected in the user code, as <code>me != nullptr</code>
 is true.
 </p>
-
 <p>
-We should require that the <code>move_only_function(F&amp;&amp; f)</code> constructor to create an
-empty object, if <code>f</code> is instantiation of of <code>copyable_function</code> and
-<code>f == nullptr</code> is true, i.e. f does not contain target object.
+We should require the <code>move_only_function(F&amp;&amp; f)</code> constructor to create an
+empty object, if <code>f</code> is an instantiation of <code>copyable_function</code> and
+<code>f == nullptr</code> is true, i.e. <code class='backtick'>f</code> does not contain target object.
 </p>
-
 <p>
 This simplifies implementing avoidance of double wrapping per 22.10.17.1 <a href="https://wg21.link/func.wrap.general">[func.wrap.general]</a> p2,
-as transfering the target produces empty functor.
+as transferring the target produces an empty functor.
 </p>
-
 <p>
 The <code>copyable_function</code> cannot be constructed from <code>move_only_function</code>,
-as it requires functor to be copyable. Invkoing an empty <code>std::function</code> has well
+as it requires functor to be copyable. Invoking an empty <code>std::function</code> has well
 defined behavior (throws <code>bad_function_call</code>), and wrapping such object into
-other functors should reproduce that behavior
+other functors should reproduce that behavior.
 </p>
 
 
-
 <p id="res-4255"><b>Proposed resolution:</b></p>
 <p>
 This wording is relative to <a href="https://wg21.link/N5008">N5008</a>.
@@ -118,13 +116,15 @@ <h3 id="4255"><a href="lwg-active.html#4255">4255</a>. move_only_function constr
 </pre>
 <blockquote>
 [&hellip;]
-<p>-8- <i>Postconditions:</i>: <code>*this</code> has no target object if any of the following hold:</p>
-<ul>
-  <li><p>(8.1) <code>f</code> is a null function pointer value, <del>or</del></p></li>
-  <li><p>(8.2) <code>f</code> is a null member pointer value, or</p></li>
-  <li><p>(8.2) <code>remove_cvref_t&lt;F&gt;</code> is a specialization of the <code>move_only_function</code>
-       <ins>or <code>copyable_function</code></ins> class template, and <code>f</code> has no target object.</p></li>
-</ul>
+<p>
+-8- <i>Postconditions:</i>: <code>*this</code> has no target object if any of the following hold:
+</p>
+<ol style="list-style-type: none">
+<li><p>(8.1) &mdash; <code>f</code> is a null function pointer value, <del>or</del></p></li>
+<li><p>(8.2) &mdash; <code>f</code> is a null member pointer value, or</p></li>
+<li><p>(8.2) &mdash; <code>remove_cvref_t&lt;F&gt;</code> is a specialization of the <code>move_only_function</code>
+     <ins>or <code>copyable_function</code></ins> class template, and <code>f</code> has no target object.</p></li>
+</ol>
 </blockquote>
 </blockquote>
 

issue4256.html

@@ -64,7 +64,7 @@
 <p><em>This page is a snapshot from the LWG issues list, see the <a href="lwg-active.html">Library Active Issues List</a> for more information and the meaning of <a href="lwg-active.html#New">New</a> status.</em></p>
 <h3 id="4256"><a href="lwg-active.html#4256">4256</a>. Incorrect constrains for <code>function_ref</code> constructors from <code>nontype_t</code></h3>
 <p><b>Section:</b> 22.10.17.6.3 <a href="https://wg21.link/func.wrap.ref.ctor">[func.wrap.ref.ctor]</a> <b>Status:</b> <a href="lwg-active.html#New">New</a>
- <b>Submitter:</b> Tomasz Kami&nacute;ski <b>Opened:</b> 2025-05-14 <b>Last modified:</b> 2025-05-14</p>
+ <b>Submitter:</b> Tomasz Kami&nacute;ski <b>Opened:</b> 2025-05-14 <b>Last modified:</b> 2025-05-18</p>
 <p><b>Priority: </b>Not Prioritized
 </p>
 <p><b>View all issues with</b> <a href="lwg-status.html#New">New</a> status.</p>
@@ -80,12 +80,12 @@ <h3 id="4256"><a href="lwg-active.html#4256">4256</a>. Incorrect constrains for
 </pre>
 <p>
 The constructor of <code>function_ref&lt;void()&gt;</code> from <code>nontype_t</code>
-is considered to be valid candidate
-(is_constructible_v&lt;function_ref&lt;void()&gt;, nontype_t&lt;M{}&gt;&gt; is <code>true</code>),
-despite the fact that the corresponding invocation of template argument object, that is const lvalue,
-is ill-formed. As consequence we produce hard error from inside of this constructor.
+is considered to be valid candidate 
+(<code>is_constructible_v&lt;function_ref&lt;void()&gt;, nontype_t&lt;M{}&gt;&gt;</code> 
+is <code>true</code>), despite the fact that the corresponding invocation of template 
+argument object, that is const lvalue, is ill-formed. As consequence we produce a hard 
+error from inside of this constructor.
 </p>
-
 <p>
 This is caused by the fact that for constructors with non-type <code>auto f</code> parameter,
 we are checking if <code><i>is-invocable-using</i>&lt;F&gt;</code> is <code>true</code>,
@@ -119,10 +119,10 @@ <h3 id="4256"><a href="lwg-active.html#4256">4256</a>. Incorrect constrains for
 <blockquote>
 <p>-12- Let <code>T</code> be <code>remove_reference_t&lt;U&gt;</code> and <code>F</code> be <code>decltype(f)</code>.</p>
 <p>-13- <i>Constraints:</i>:</p>
-<ul>
-  <li><p>(13.1) <code>is_rvalue_reference_v&lt;U&amp;&amp;&gt;</code> is false, and</p></li>
-  <li><p>(13.2) <code><i>is-invocable-using</i>&lt;<ins>const </ins>F<ins>&amp;</ins>, T <i>cv</i>&amp;&gt;</code> is <code>true</code>.</p></li>
-</ul>
+<ol style="list-style-type: none">
+<li><p>(13.1) &mdash; <code>is_rvalue_reference_v&lt;U&amp;&amp;&gt;</code> is false, and</p></li>
+<li><p>(13.2) &mdash; <code><i>is-invocable-using</i>&lt;<ins>const </ins>F<ins>&amp;</ins>, T <i>cv</i>&amp;&gt;</code> is <code>true</code>.</p></li>
+</ol>
 [&hellip;]
 </blockquote>
 

lwg-active.html

@@ -67,7 +67,7 @@
 </tr>
 <tr>
   <td align="left">Date:</td>
-  <td align="left">2025-05-16</td>
+  <td align="left">2025-05-18</td>
 </tr>
 <tr>
   <td align="left">Project:</td>
@@ -79,7 +79,7 @@
 </tr>
 </table>
 <h1>C++ Standard Library Active Issues List (Revision D125)</h1>
-<p>Revised 2025-05-16 at 11:17:41 UTC
+<p>Revised 2025-05-18 at 08:49:45 UTC
 </p>
   <p>Reference ISO/IEC IS 14882:2020(E)</p>
   <p>Also see:</p>
@@ -74282,7 +74282,7 @@ <h3 id="4254"><a href="#4254">4254</a><sup><a href="https://cplusplus.github.io/
 <hr>
 <h3 id="4255"><a href="#4255">4255</a><sup><a href="https://cplusplus.github.io/LWG/issue4255">(i)</a></sup>. move_only_function constructor should recognize empty copyable_functions</h3>
 <p><b>Section:</b> 22.10.17.4.3 <a href="https://wg21.link/func.wrap.move.ctor">[func.wrap.move.ctor]</a> <b>Status:</b> <a href="lwg-active.html#New">New</a>
- <b>Submitter:</b> Tomasz Kami&nacute;ski <b>Opened:</b> 2025-05-12 <b>Last modified:</b> 2025-05-12</p>
+ <b>Submitter:</b> Tomasz Kami&nacute;ski <b>Opened:</b> 2025-05-12 <b>Last modified:</b> 2025-05-18</p>
 <p><b>Priority: </b>Not Prioritized
 </p>
 <p><b>View other</b> <a href="lwg-index-open.html#func.wrap.move.ctor">active issues</a> in [func.wrap.move.ctor].</p>
@@ -74292,36 +74292,34 @@ <h3 id="4255"><a href="#4255">4255</a><sup><a href="https://cplusplus.github.io/
 <p>
 The standard currently requires that constructing <code>move_only_function</code>
 from empty <code>copyable_function</code>, creates an non-empty <code>move_only_function</code>,
-that contains an empty <code>copyable_function</code> as the target. For exampe:
-<code>
+that contains an empty <code>copyable_function</code> as the target. For example:
+</p>
+<blockquote><pre>
 std::copyable_function&lt;int(int)&gt; ce;
 std::move_only_function&lt;int(int)&gt; me(ce);
-</code>
+</pre></blockquote>
+<p>
 We require that invoking <code>me(1)</code> is undefined behavior (as it leads to call to the
 <code>ce(1)</code>), however it cannot be detected in the user code, as <code>me != nullptr</code>
 is true.
 </p>
-
 <p>
-We should require that the <code>move_only_function(F&amp;&amp; f)</code> constructor to create an
-empty object, if <code>f</code> is instantiation of of <code>copyable_function</code> and
-<code>f == nullptr</code> is true, i.e. f does not contain target object.
+We should require the <code>move_only_function(F&amp;&amp; f)</code> constructor to create an
+empty object, if <code>f</code> is an instantiation of <code>copyable_function</code> and
+<code>f == nullptr</code> is true, i.e. <code class='backtick'>f</code> does not contain target object.
 </p>
-
 <p>
 This simplifies implementing avoidance of double wrapping per 22.10.17.1 <a href="https://wg21.link/func.wrap.general">[func.wrap.general]</a> p2,
-as transfering the target produces empty functor.
+as transferring the target produces an empty functor.
 </p>
-
 <p>
 The <code>copyable_function</code> cannot be constructed from <code>move_only_function</code>,
-as it requires functor to be copyable. Invkoing an empty <code>std::function</code> has well
+as it requires functor to be copyable. Invoking an empty <code>std::function</code> has well
 defined behavior (throws <code>bad_function_call</code>), and wrapping such object into
-other functors should reproduce that behavior
+other functors should reproduce that behavior.
 </p>
 
 
-
 <p id="res-4255"><b>Proposed resolution:</b></p>
 <p>
 This wording is relative to <a href="https://wg21.link/N5008">N5008</a>.
@@ -74336,13 +74334,15 @@ <h3 id="4255"><a href="#4255">4255</a><sup><a href="https://cplusplus.github.io/
 </pre>
 <blockquote>
 [&hellip;]
-<p>-8- <i>Postconditions:</i>: <code>*this</code> has no target object if any of the following hold:</p>
-<ul>
-  <li><p>(8.1) <code>f</code> is a null function pointer value, <del>or</del></p></li>
-  <li><p>(8.2) <code>f</code> is a null member pointer value, or</p></li>
-  <li><p>(8.2) <code>remove_cvref_t&lt;F&gt;</code> is a specialization of the <code>move_only_function</code>
-       <ins>or <code>copyable_function</code></ins> class template, and <code>f</code> has no target object.</p></li>
-</ul>
+<p>
+-8- <i>Postconditions:</i>: <code>*this</code> has no target object if any of the following hold:
+</p>
+<ol style="list-style-type: none">
+<li><p>(8.1) &mdash; <code>f</code> is a null function pointer value, <del>or</del></p></li>
+<li><p>(8.2) &mdash; <code>f</code> is a null member pointer value, or</p></li>
+<li><p>(8.2) &mdash; <code>remove_cvref_t&lt;F&gt;</code> is a specialization of the <code>move_only_function</code>
+     <ins>or <code>copyable_function</code></ins> class template, and <code>f</code> has no target object.</p></li>
+</ol>
 </blockquote>
 </blockquote>
 
@@ -74357,7 +74357,7 @@ <h3 id="4255"><a href="#4255">4255</a><sup><a href="https://cplusplus.github.io/
 <hr>
 <h3 id="4256"><a href="#4256">4256</a><sup><a href="https://cplusplus.github.io/LWG/issue4256">(i)</a></sup>. Incorrect constrains for <code>function_ref</code> constructors from <code>nontype_t</code></h3>
 <p><b>Section:</b> 22.10.17.6.3 <a href="https://wg21.link/func.wrap.ref.ctor">[func.wrap.ref.ctor]</a> <b>Status:</b> <a href="lwg-active.html#New">New</a>
- <b>Submitter:</b> Tomasz Kami&nacute;ski <b>Opened:</b> 2025-05-14 <b>Last modified:</b> 2025-05-14</p>
+ <b>Submitter:</b> Tomasz Kami&nacute;ski <b>Opened:</b> 2025-05-14 <b>Last modified:</b> 2025-05-18</p>
 <p><b>Priority: </b>Not Prioritized
 </p>
 <p><b>View all issues with</b> <a href="lwg-status.html#New">New</a> status.</p>
@@ -74373,12 +74373,12 @@ <h3 id="4256"><a href="#4256">4256</a><sup><a href="https://cplusplus.github.io/
 </pre>
 <p>
 The constructor of <code>function_ref&lt;void()&gt;</code> from <code>nontype_t</code>
-is considered to be valid candidate
-(is_constructible_v&lt;function_ref&lt;void()&gt;, nontype_t&lt;M{}&gt;&gt; is <code>true</code>),
-despite the fact that the corresponding invocation of template argument object, that is const lvalue,
-is ill-formed. As consequence we produce hard error from inside of this constructor.
+is considered to be valid candidate 
+(<code>is_constructible_v&lt;function_ref&lt;void()&gt;, nontype_t&lt;M{}&gt;&gt;</code> 
+is <code>true</code>), despite the fact that the corresponding invocation of template 
+argument object, that is const lvalue, is ill-formed. As consequence we produce a hard 
+error from inside of this constructor.
 </p>
-
 <p>
 This is caused by the fact that for constructors with non-type <code>auto f</code> parameter,
 we are checking if <code><i>is-invocable-using</i>&lt;F&gt;</code> is <code>true</code>,
@@ -74412,10 +74412,10 @@ <h3 id="4256"><a href="#4256">4256</a><sup><a href="https://cplusplus.github.io/
 <blockquote>
 <p>-12- Let <code>T</code> be <code>remove_reference_t&lt;U&gt;</code> and <code>F</code> be <code>decltype(f)</code>.</p>
 <p>-13- <i>Constraints:</i>:</p>
-<ul>
-  <li><p>(13.1) <code>is_rvalue_reference_v&lt;U&amp;&amp;&gt;</code> is false, and</p></li>
-  <li><p>(13.2) <code><i>is-invocable-using</i>&lt;<ins>const </ins>F<ins>&amp;</ins>, T <i>cv</i>&amp;&gt;</code> is <code>true</code>.</p></li>
-</ul>
+<ol style="list-style-type: none">
+<li><p>(13.1) &mdash; <code>is_rvalue_reference_v&lt;U&amp;&amp;&gt;</code> is false, and</p></li>
+<li><p>(13.2) &mdash; <code><i>is-invocable-using</i>&lt;<ins>const </ins>F<ins>&amp;</ins>, T <i>cv</i>&amp;&gt;</code> is <code>true</code>.</p></li>
+</ol>
 [&hellip;]
 </blockquote>
 

lwg-closed.html

@@ -67,7 +67,7 @@
 </tr>
 <tr>
   <td align="left">Date:</td>
-  <td align="left">2025-05-16</td>
+  <td align="left">2025-05-18</td>
 </tr>
 <tr>
   <td align="left">Project:</td>
@@ -79,7 +79,7 @@
 </tr>
 </table>
 <h1>C++ Standard Library Closed Issues List (Revision D125)</h1>
-<p>Revised 2025-05-16 at 11:17:41 UTC
+<p>Revised 2025-05-18 at 08:49:45 UTC
 </p>
   <p>Reference ISO/IEC IS 14882:2020(E)</p>
   <p>Also see:</p>

lwg-defects.html

@@ -67,7 +67,7 @@
 </tr>
 <tr>
   <td align="left">Date:</td>
-  <td align="left">2025-05-16</td>
+  <td align="left">2025-05-18</td>
 </tr>
 <tr>
   <td align="left">Project:</td>
@@ -79,7 +79,7 @@
 </tr>
 </table>
 <h1>C++ Standard Library Defect Reports and Accepted Issues (Revision D125)</h1>
-<p>Revised 2025-05-16 at 11:17:41 UTC
+<p>Revised 2025-05-18 at 08:49:45 UTC
 </p>
   <p>Reference ISO/IEC IS 14882:2020(E)</p>
   <p>Also see:</p>

lwg-immediate.html

@@ -62,7 +62,7 @@ <h1>C++ Standard Library Issues Resolved Directly In [INSERT CURRENT MEETING HER
 </tr>
 <tr>
 <td align="left">Date:</td>
-<td align="left">Revised 2025-05-16 at 11:17:41 UTC
+<td align="left">Revised 2025-05-18 at 08:49:45 UTC
 </td>
 </tr>
 <tr>

lwg-index-open.html

@@ -66,7 +66,7 @@ <h1>Index by Section</h1>
 <p>This document is the Index by Section for the <a href="lwg-active.html">Library Active Issues List</a>.</p>
 <h2>Index by Section (non-Ready active issues only)</h2>
 <p><a href="lwg-index.html">(view all issues)</a></p>
-<p>Revised 2025-05-16 at 11:17:41 UTC
+<p>Revised 2025-05-18 at 08:49:45 UTC
 </p><h2 id="Section_3">Section 3 (2 issues)</h2>
 <p><a href="lwg-index.html#Section_3">(view all issues)</a></p>
 <table class="issues-index">

lwg-index.html

@@ -66,7 +66,7 @@ <h1>Index by Section</h1>
 <p>This document is the Index by Section for the <a href="lwg-active.html">Library Active Issues List</a>, <a href="lwg-defects.html">Library Defect Reports and Accepted Issues</a>, and <a href="lwg-closed.html">Library Closed Issues List</a>.</p>
 <h2>Index by Section</h2>
 <p><a href="lwg-index-open.html">(view only non-Ready open issues)</a></p>
-<p>Revised 2025-05-16 at 11:17:41 UTC
+<p>Revised 2025-05-18 at 08:49:45 UTC
 </p><h2 id="Section_2">Section 2 (2 issues)</h2>
 <table class="issues-index">
 <tr>

lwg-ready.html

@@ -62,7 +62,7 @@ <h1>C++ Standard Library Issues to be moved in [INSERT CURRENT MEETING HERE]</h1
 </tr>
 <tr>
 <td align="left">Date:</td>
-<td align="left">Revised 2025-05-16 at 11:17:41 UTC
+<td align="left">Revised 2025-05-18 at 08:49:45 UTC
 </td>
 </tr>
 <tr>

lwg-status-date.html

@@ -67,7 +67,7 @@ <h1>Index by Status and Date</h1>
 This document is the Index by Status and Date for the <a href="lwg-active.html">Library Active Issues List</a>,
 <a href="lwg-defects.html">Library Defect Reports and Accepted Issues</a>, and <a href="lwg-closed.html">Library Closed Issues List</a>.
 </p>
-<p>Revised 2025-05-16 at 11:17:41 UTC
+<p>Revised 2025-05-18 at 08:49:45 UTC
 </p><h2 id="Ready">Ready (7 issues)</h2>
 <table class="issues-index">
 <tr>
@@ -314,10 +314,10 @@ <h2 id="New">New (495 issues)</h2>
   <th>Duplicates</th>
 </tr>
 <tr>
-<td id="4257"><a href="lwg-active.html#4257" title="Stream insertion for chrono::local_time should be constrained (Status: New)">4257</a><sup><a href="https://cplusplus.github.io/LWG/issue4257">(i)</a></sup></td>
+<td id="4255"><a href="lwg-active.html#4255" title="move_only_function constructor should recognize empty copyable_functions (Status: New)">4255</a><sup><a href="https://cplusplus.github.io/LWG/issue4255">(i)</a></sup></td>
 <td><a href="lwg-active.html#New">New</a></td>
-<td>30.7.9 [time.clock.local]</td>
-<td>Stream insertion for <code class='backtick'>chrono::local_time</code> should be constrained</td>
+<td>22.10.17.4.3 [func.wrap.move.ctor]</td>
+<td>move_only_function constructor should recognize empty copyable_functions</td>
 <td>Yes</td>
 <td></td>
 <td></td>
@@ -332,10 +332,10 @@ <h2 id="New">New (495 issues)</h2>
 <td></td>
 </tr>
 <tr>
-<td id="4255"><a href="lwg-active.html#4255" title="move_only_function constructor should recognize empty copyable_functions (Status: New)">4255</a><sup><a href="https://cplusplus.github.io/LWG/issue4255">(i)</a></sup></td>
+<td id="4257"><a href="lwg-active.html#4257" title="Stream insertion for chrono::local_time should be constrained (Status: New)">4257</a><sup><a href="https://cplusplus.github.io/LWG/issue4257">(i)</a></sup></td>
 <td><a href="lwg-active.html#New">New</a></td>
-<td>22.10.17.4.3 [func.wrap.move.ctor]</td>
-<td>move_only_function constructor should recognize empty copyable_functions</td>
+<td>30.7.9 [time.clock.local]</td>
+<td>Stream insertion for <code class='backtick'>chrono::local_time</code> should be constrained</td>
 <td>Yes</td>
 <td></td>
 <td></td>