Automatic update from GitHub Actions workflow

github-actions · github-actions · commit 4e3e19a3d08b · 2025-05-01T20:36:21.000Z
diff --git a/issue4251.html b/issue4251.html
@@ -86,13 +86,16 @@ <h3 id="4251"><a href="lwg-active.html#4251">4251</a>. Move assignment for <code
 <p>
 It seems like we should require <code class='backtick'>is_move_constructible_v</code> instead,
 and only if the allocator traits mean we need to construct an object.
+(Technically move-constructible might not be correct, because the allocator's
+<code class='backtick'>construct</code> member might use a different constructor).
 </p>
 <p>
 Additionally, the noexcept-specifier for the move assignment doesn't match
 the effects. The noexcept-specifier says it can't throw if POCMA is true,
-but nothing in the effects says that ownership can be transferred in that case.
-We only do a non-throwing transfer when the allocators are equal.
-I think we should also transfer ownership when
+but nothing in the effects says that ownership can be transferred in that case;
+we only do a non-throwing transfer when the allocators are equal.
+I think we <i>should</i> transfer ownership when POCMA is true,
+which would make the noexcept-specifier correct.
 </p>
 
 
diff --git a/lwg-active.html b/lwg-active.html
@@ -79,7 +79,7 @@
 </tr>
 </table>
 <h1>C++ Standard Library Active Issues List (Revision D125)</h1>
-<p>Revised 2025-05-01 at 18:06:06 UTC
+<p>Revised 2025-05-01 at 20:36:15 UTC
 </p>
   <p>Reference ISO/IEC IS 14882:2020(E)</p>
   <p>Also see:</p>
@@ -74004,13 +74004,16 @@ <h3 id="4251"><a href="#4251">4251</a><sup><a href="https://cplusplus.github.io/
 <p>
 It seems like we should require <code class='backtick'>is_move_constructible_v</code> instead,
 and only if the allocator traits mean we need to construct an object.
+(Technically move-constructible might not be correct, because the allocator's
+<code class='backtick'>construct</code> member might use a different constructor).
 </p>
 <p>
 Additionally, the noexcept-specifier for the move assignment doesn't match
 the effects. The noexcept-specifier says it can't throw if POCMA is true,
-but nothing in the effects says that ownership can be transferred in that case.
-We only do a non-throwing transfer when the allocators are equal.
-I think we should also transfer ownership when
+but nothing in the effects says that ownership can be transferred in that case;
+we only do a non-throwing transfer when the allocators are equal.
+I think we <i>should</i> transfer ownership when POCMA is true,
+which would make the noexcept-specifier correct.
 </p>
 
 
diff --git a/lwg-closed.html b/lwg-closed.html
@@ -79,7 +79,7 @@
 </tr>
 </table>
 <h1>C++ Standard Library Closed Issues List (Revision D125)</h1>
-<p>Revised 2025-05-01 at 18:06:06 UTC
+<p>Revised 2025-05-01 at 20:36:15 UTC
 </p>
   <p>Reference ISO/IEC IS 14882:2020(E)</p>
   <p>Also see:</p>
diff --git a/lwg-defects.html b/lwg-defects.html
@@ -79,7 +79,7 @@
 </tr>
 </table>
 <h1>C++ Standard Library Defect Reports and Accepted Issues (Revision D125)</h1>
-<p>Revised 2025-05-01 at 18:06:06 UTC
+<p>Revised 2025-05-01 at 20:36:15 UTC
 </p>
   <p>Reference ISO/IEC IS 14882:2020(E)</p>
   <p>Also see:</p>
diff --git a/lwg-immediate.html b/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-01 at 18:06:06 UTC
+<td align="left">Revised 2025-05-01 at 20:36:15 UTC
 </td>
 </tr>
 <tr>
diff --git a/lwg-index-open.html b/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-01 at 18:06:06 UTC
+<p>Revised 2025-05-01 at 20:36:15 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">
diff --git a/lwg-index.html b/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-01 at 18:06:06 UTC
+<p>Revised 2025-05-01 at 20:36:15 UTC
 </p><h2 id="Section_2">Section 2 (2 issues)</h2>
 <table class="issues-index">
 <tr>
diff --git a/lwg-ready.html b/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-01 at 18:06:06 UTC
+<td align="left">Revised 2025-05-01 at 20:36:15 UTC
 </td>
 </tr>
 <tr>
diff --git a/lwg-status-date.html b/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-01 at 18:06:06 UTC
+<p>Revised 2025-05-01 at 20:36:15 UTC
 </p><h2 id="Ready">Ready (7 issues)</h2>
 <table class="issues-index">
 <tr>
diff --git a/lwg-status.html b/lwg-status.html
@@ -62,7 +62,7 @@ <h1>Index by Status and Section</h1>
 <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-01 at 18:06:06 UTC
+<p>Revised 2025-05-01 at 20:36:15 UTC
 </p><h2 id="Ready">Ready (7 issues)</h2>
 <table class="issues-index">
 <tr>
diff --git a/lwg-tentative.html b/lwg-tentative.html
@@ -54,7 +54,7 @@
 </style>
 </head>
 <body>
-<p>Revised 2025-05-01 at 18:06:06 UTC
+<p>Revised 2025-05-01 at 20:36:15 UTC
 </p><h2>Tentative Issues</h2>
 <hr>
 <h3 id="3908"><a href="#3908">3908</a><sup><a href="https://cplusplus.github.io/LWG/issue3908">(i)</a></sup>. <code>enumerate_view::<i>iterator</i></code> constructor is explicit</h3>
diff --git a/lwg-toc.html b/lwg-toc.html
@@ -59,7 +59,7 @@ <h1>Table of Contents</h1>
 <p>Reference ISO/IEC IS 14882:2024(E)</p>
 <p>This document is the Table of Contents 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-01 at 18:06:06 UTC
+<p>Revised 2025-05-01 at 20:36:15 UTC
 </p><table class="issues-index">
 <tr>
   <th><a href="lwg-toc.html">Issue</a></th>
diff --git a/lwg-unresolved.html b/lwg-unresolved.html
@@ -54,7 +54,7 @@
 </style>
 </head>
 <body>
-<p>Revised 2025-05-01 at 18:06:06 UTC
+<p>Revised 2025-05-01 at 20:36:15 UTC
 </p><h2>Unresolved Issues</h2>
 <hr>
 <h3 id="423"><a href="#423">423</a><sup><a href="https://cplusplus.github.io/LWG/issue423">(i)</a></sup>. Effects of negative <code>streamsize</code> in iostreams</h3>
@@ -69995,13 +69995,16 @@ <h3 id="4251"><a href="#4251">4251</a><sup><a href="https://cplusplus.github.io/
 <p>
 It seems like we should require <code class='backtick'>is_move_constructible_v</code> instead,
 and only if the allocator traits mean we need to construct an object.
+(Technically move-constructible might not be correct, because the allocator's
+<code class='backtick'>construct</code> member might use a different constructor).
 </p>
 <p>
 Additionally, the noexcept-specifier for the move assignment doesn't match
 the effects. The noexcept-specifier says it can't throw if POCMA is true,
-but nothing in the effects says that ownership can be transferred in that case.
-We only do a non-throwing transfer when the allocators are equal.
-I think we should also transfer ownership when
+but nothing in the effects says that ownership can be transferred in that case;
+we only do a non-throwing transfer when the allocators are equal.
+I think we <i>should</i> transfer ownership when POCMA is true,
+which would make the noexcept-specifier correct.
 </p>
 
 
diff --git a/unresolved-index.html b/unresolved-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-01 at 18:06:06 UTC
+<p>Revised 2025-05-01 at 20:36:15 UTC
 </p><h2 id="Section_3">Section 3 (2 issues)</h2>
 <p><a href="lwg-index-open.html#Section_3">(view only non-Ready open issues)</a></p>
 <table class="issues-index">
diff --git a/unresolved-prioritized.html b/unresolved-prioritized.html
@@ -60,7 +60,7 @@ <h1>Table of Contents</h1>
 <p>This document is the Table of Contents 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>,
 sorted by priority.</p>
-<p>Revised 2025-05-01 at 18:06:06 UTC
+<p>Revised 2025-05-01 at 20:36:15 UTC
 </p><h2 id="Priority_1">Priority 1 (4 issues)</h2>
 <table class="issues-index">
 <tr>
diff --git a/unresolved-status-date.html b/unresolved-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-01 at 18:06:06 UTC
+<p>Revised 2025-05-01 at 20:36:15 UTC
 </p><h2 id="New">New (489 issues)</h2>
 <table class="issues-index">
 <tr>
diff --git a/unresolved-status.html b/unresolved-status.html
@@ -62,7 +62,7 @@ <h1>Index by Status and Section</h1>
 <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-01 at 18:06:06 UTC
+<p>Revised 2025-05-01 at 20:36:15 UTC
 </p><h2 id="New">New (489 issues)</h2>
 <table class="issues-index">
 <tr>
diff --git a/unresolved-toc.html b/unresolved-toc.html
@@ -59,7 +59,7 @@ <h1>Table of Contents</h1>
 <p>Reference ISO/IEC IS 14882:2024(E)</p>
 <p>This document is the Table of Contents 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-01 at 18:06:06 UTC
+<p>Revised 2025-05-01 at 20:36:15 UTC
 </p><table class="issues-index">
 <tr>
   <th><a href="lwg-toc.html">Issue</a></th>
diff --git a/votable-index.html b/votable-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-01 at 18:06:06 UTC
+<p>Revised 2025-05-01 at 20:36:15 UTC
 </p><h2 id="Section_31">Section 31 (1 issues)</h2>
 <p><a href="lwg-index-open.html#Section_31">(view only non-Ready open issues)</a></p>
 <table class="issues-index">
diff --git a/votable-status-date.html b/votable-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-01 at 18:06:06 UTC
+<p>Revised 2025-05-01 at 20:36:15 UTC
 </p><h2 id="Ready">Ready (7 issues)</h2>
 <table class="issues-index">
 <tr>
diff --git a/votable-status.html b/votable-status.html
@@ -62,7 +62,7 @@ <h1>Index by Status and Section</h1>
 <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-01 at 18:06:06 UTC
+<p>Revised 2025-05-01 at 20:36:15 UTC
 </p><h2 id="Ready">Ready (7 issues)</h2>
 <table class="issues-index">
 <tr>
diff --git a/votable-toc.html b/votable-toc.html
@@ -59,7 +59,7 @@ <h1>Table of Contents</h1>
 <p>Reference ISO/IEC IS 14882:2024(E)</p>
 <p>This document is the Table of Contents 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-01 at 18:06:06 UTC
+<p>Revised 2025-05-01 at 20:36:15 UTC
 </p><table class="issues-index">
 <tr>
   <th><a href="lwg-toc.html">Issue</a></th>
