update automatically

Author: cpprefjp-autoupdate

reference/chrono/make24.html

@@ -239,7 +239,7 @@ <h2>例</h2>
   <span class="n"><a href="../cassert/assert.html">assert</a></span><span class="p">(</span><span class="n"><span style="color:#ff0000">chrono::make24</span></span><span class="p">(</span><span class="n"><a href="duration/op_h.html">12h</a></span><span class="p">,</span> <span class="nb">false</span><span class="p">)</span> <span class="o">==</span> <span class="n"><a href="duration/op_h.html">0h</a></span><span class="p">);</span>
 
   <span class="n"><a href="../cassert/assert.html">assert</a></span><span class="p">(</span><span class="n"><span style="color:#ff0000">chrono::make24</span></span><span class="p">(</span><span class="n"><a href="duration/op_h.html">12h</a></span><span class="p">,</span> <span class="nb">true</span><span class="p">)</span> <span class="o">==</span> <span class="n"><a href="duration/op_h.html">12h</a></span><span class="p">);</span>
-  <span class="n"><a href="../cassert/assert.html">assert</a></span><span class="p">(</span><span class="n"><span style="color:#ff0000">chrono::make24</span></span><span class="p">(</span><span class="n"><a href="duration/op_h.html">1h</a></span><span class="p">,</span> <span class="nb">true</span><span class="p">)</span> <span class="o">==</span> <span class="mi">1</span><span class="n"><a href="duration/op_h.html">3h</a></span><span class="p">);</span>
+  <span class="n"><a href="../cassert/assert.html">assert</a></span><span class="p">(</span><span class="n"><span style="color:#ff0000">chrono::make24</span></span><span class="p">(</span><span class="n"><a href="duration/op_h.html">1h</a></span><span class="p">,</span> <span class="nb">true</span><span class="p">)</span> <span class="o">==</span> <span class="mi">1ll</span><span class="n">OiJMPgyIChNpndcsCwUsxFXNhShLMO</span><span class="p">);</span>
   <span class="n"><a href="../cassert/assert.html">assert</a></span><span class="p">(</span><span class="n"><span style="color:#ff0000">chrono::make24</span></span><span class="p">(</span><span class="n"><a href="duration/op_h.html">3h</a></span><span class="p">,</span> <span class="nb">true</span><span class="p">)</span> <span class="o">==</span> <span class="n"><a href="duration/op_h.html">15h</a></span><span class="p">);</span>
   <span class="n"><a href="../cassert/assert.html">assert</a></span><span class="p">(</span><span class="n"><span style="color:#ff0000">chrono::make24</span></span><span class="p">(</span><span class="n"><a href="duration/op_h.html">11h</a></span><span class="p">,</span> <span class="nb">true</span><span class="p">)</span> <span class="o">==</span> <span class="n"><a href="duration/op_h.html">23h</a></span><span class="p">);</span>
 <span class="p">}</span>

reference/execution/execution/into_variant.html

@@ -200,12 +200,12 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-07-14T14:04:00">
-        2025年07月14日 14時04分00秒
+      <span itemprop="datePublished" content="2025-07-31T13:41:23">
+        2025年07月31日 13時41分23秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
-        <span itemprop="name">Koichi Murase</span>
+        <span itemprop="name">yoh</span>
       </span>
       が更新
     </small></p>
@@ -256,7 +256,7 @@ <h3>Senderアルゴリズムタグ <code>into_variant</code></h3>
 <li>子<a href="sender.html">Sender</a>の<a href="value_types_of_t.html">値完了シグネチャを集約</a>した<code><a href="../../variant/variant.html">variant</a>&lt;<a href="../../variant/variant.html">tuple</a>&lt;...&gt;, ...&gt;</code>型を<code><a href="../../type_traits/type_identity.html">type_identity</a></code>クラステンプレートのパラメータに格納して返す。</li>
 </ul>
 <p><div class="codehilite"><pre><span></span><code><span class="p">[]</span><span class="o">&lt;</span><span class="k">class</span> <span class="nc">Sndr</span><span class="p">,</span> <span class="k">class</span> <span class="nc">Rcvr</span><span class="o">&gt;</span><span class="p">(</span><span class="n">Sndr</span><span class="o">&amp;&amp;</span> <span class="n">sndr</span><span class="p">,</span> <span class="n">Rcvr</span><span class="o">&amp;</span> <span class="n">rcvr</span><span class="p">)</span> <span class="k">noexcept</span>
-  <span class="o">-&gt;</span> <span class="n"><a href="../../type_traits/type_identity.html">type_identity</a></span><span class="o">&lt;</span><span class="n"><a href="value_types_of_t.html">value_types_of_t</a></span><span class="o">&lt;</span><span class="n"><a href="child-type.html">child-type</a></span><span class="o">&lt;</span><span class="n">Sndr</span><span class="o">&gt;</span><span class="p">,</span> <span class="n"><a href="env_of_t.html">env_of_t</a></span><span class="o">&lt;</span><span class="n">Rcvr</span><span class="o">&gt;&gt;&gt;</span> <span class="p">{</span>
+  <span class="o">-&gt;</span> <span class="n"><a href="../../type_traits/type_identity.html">type_identity</a></span><span class="o">&lt;</span><span class="n"><a href="value_types_of_t.html">value_types_of_t</a></span><span class="o">&lt;</span><span class="n"><a href="child-type.html">child-type</a></span><span class="o">&lt;</span><span class="n">Sndr</span><span class="o">&gt;</span><span class="p">,</span> <span class="n"><a href="../forwarding_query.html">FWD-ENV-T</a></span><span class="p">(</span><span class="n"><a href="env_of_t.html">env_of_t</a></span><span class="o">&lt;</span><span class="n">Rcvr</span><span class="o">&gt;</span><span class="p">)</span><span class="o">&gt;&gt;</span> <span class="p">{</span>
   <span class="k">return</span> <span class="p">{};</span>
 <span class="p">}</span>
 </code></pre></div>
@@ -383,6 +383,7 @@ <h2>参照</h2>
 <ul>
 <li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2023/p2999r3.html" target="_blank">P2999R3 Sender Algorithm Customization</a></li>
 <li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html" target="_blank">P2300R10 <code>std::execution</code></a></li>
+<li><a href="https://cplusplus.github.io/LWG/issue4203" target="_blank">LWG 4203. Constraints on <code>get-state</code> functions are incorrect</a></li>
 </ul></div>
 
       </div>

reference/execution/execution/let_value.html

@@ -200,8 +200,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-07-31T12:40:08">
-        2025年07月31日 12時40分08秒
+      <span itemprop="datePublished" content="2025-07-31T13:41:23">
+        2025年07月31日 13時41分23秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -305,7 +305,7 @@ <h3>Senderアルゴリズムタグ <code>let-cpo</code></h3>
 </p>
 <ul>
 <li>
-<p>説明用のパック<code>Sigs</code>を<code><a href="completion_signatures_of_t.html">completion_signatures_of_t</a>&lt;<a href="child-type.html">child-type</a>&lt;Sndr&gt;, <a href="env_of_t.html">env_of_t</a>&lt;Rcvr&gt;&gt;</code>による<code><a href="completion_signatures.html">completion_signatures</a></code>特殊化のテンプレートパラメータとし、パック<code>LetSigs</code>を<code>Sigs</code>に含まれる型のうち<a class="cpprefjp-defined-word" data-desc="関数呼び出し式の評価結果となるオブジェクト・値">戻り値</a>型が<code><a href="../../functional/decayed-typeof.html">decayed-typeof</a>&lt;set-cpo&gt;</code>に等しいものと定義する。説明用のエイリアステンプレート<code>as-tuple&lt;Tag(Args...)&gt;</code>を<code><a href="decayed-tuple.html">decayed-tuple</a>&lt;Args...&gt;</code>と定義する。型<code>args_variant_t</code>は下記定義において重複削除した型となる。</p>
+<p>説明用のパック<code>Sigs</code>を<code><a href="completion_signatures_of_t.html">completion_signatures_of_t</a>&lt;<a href="child-type.html">child-type</a>&lt;Sndr&gt;, <a href="../forwarding_query.html">FWD-ENV-T</a>(<a href="env_of_t.html">env_of_t</a>&lt;Rcvr&gt;)&gt;</code>による<code><a href="completion_signatures.html">completion_signatures</a></code>特殊化のテンプレートパラメータとし、パック<code>LetSigs</code>を<code>Sigs</code>に含まれる型のうち<a class="cpprefjp-defined-word" data-desc="関数呼び出し式の評価結果となるオブジェクト・値">戻り値</a>型が<code><a href="../../functional/decayed-typeof.html">decayed-typeof</a>&lt;set-cpo&gt;</code>に等しいものと定義する。説明用のエイリアステンプレート<code>as-tuple&lt;Tag(Args...)&gt;</code>を<code><a href="decayed-tuple.html">decayed-tuple</a>&lt;Args...&gt;</code>と定義する。型<code>args_variant_t</code>は下記定義において重複削除した型となる。</p>
 <p><div class="codehilite"><pre><span></span><code><span class="n"><a href="../../variant/variant.html">variant</a></span><span class="o">&lt;</span><span class="n"><a href="../../variant/monostate.html">monostate</a></span><span class="p">,</span> <span class="n">as</span><span class="o">-</span><span class="n"><a href="../../tuple/tuple.html">tuple</a></span><span class="o">&lt;</span><span class="n">LetSigs</span><span class="o">&gt;</span><span class="p">...</span><span class="o">&gt;</span>
 </code></pre></div>
 </p>
@@ -404,7 +404,7 @@ <h2>説明専用エンティティ</h2>
 <p>メンバ関数<code>receiver2::get_env</code>の呼び出しは、下記を満たすオブジェクト<code>e</code>を返す。</p>
 <ul>
 <li>型<code>decltype(e)</code>が<code><a href="../queryable.html">queryable</a></code>のモデルであり、かつ</li>
-<li>与えられた<a href="../queryable.html">クエリオブジェクト</a><code>q</code>に対して、式<code>e.query(q)</code>は式<code>env.query(q)</code>が有効ならばその式と等価。そうでなければ、式<code>e.query(q)</code>は<code><a href="get_env.html">get_env</a>(rcvr).query(q)</code>と等価。</li>
+<li>与えられた<a href="../queryable.html">クエリオブジェクト</a><code>q</code>に対して、式<code>e.query(q)</code>は式<code>env.query(q)</code>が有効ならばその式と等価。そうではなく、<code>q</code>の型が<code><a href="../forwarding-query.html">forwarding-query</a></code>を満たすならば式<code>e.query(q)</code>は<code><a href="get_env.html">get_env</a>(rcvr).query(q)</code>と等価。そうでなければ、式<code>e.query(q)</code>は<a class="cpprefjp-defined-word" data-desc="プログラムが適格でないこと。コンパイルエラーなどになる" href="../../../implementation-compliance.html#dfn-ill-formed">不適格</a>となる。</li>
 </ul>
 <h2>カスタマイゼーションポイント</h2>
 <p>Senderアルゴリズム構築時および<a href="receiver.html">Receiver</a>接続時に、関連付けられた実行ドメインに対して<code><a href="transform_sender.html">execution::transform_sender</a></code>経由でSender変換が行われる。
@@ -570,6 +570,7 @@ <h2>参照</h2>
 <li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2023/p2999r3.html" target="_blank">P2999R3 Sender Algorithm Customization</a></li>
 <li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html" target="_blank">P2300R10 <code>std::execution</code></a></li>
 <li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p3396r1.html" target="_blank">P3396R1 std::execution wording fixes</a></li>
+<li><a href="https://cplusplus.github.io/LWG/issue4203" target="_blank">LWG 4203. Constraints on <code>get-state</code> functions are incorrect</a></li>
 <li><a href="https://cplusplus.github.io/LWG/issue4204" target="_blank">LWG 4204. specification of <code>as-sndr2(Sig)</code> in [exec.let] is incomplete</a></li>
 <li><a href="https://cplusplus.github.io/LWG/issue4205" target="_blank">LWG 4205. <code>let_[*].transform_env</code> is specified in terms of the <code>let_*</code> sender itself instead of its child</a></li>
 </ul></div>

reference/execution/execution/schedule_from.html

@@ -200,12 +200,12 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-07-14T14:04:00">
-        2025年07月14日 14時04分00秒
+      <span itemprop="datePublished" content="2025-07-31T13:41:23">
+        2025年07月31日 13時41分23秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
-        <span itemprop="name">Koichi Murase</span>
+        <span itemprop="name">yoh</span>
       </span>
       が更新
     </small></p>
@@ -262,7 +262,7 @@ <h3>Senderアルゴリズムタグ <code>schedule_from</code></h3>
 </p>
 <p><code>impls-for&lt;schedule_from_t&gt;::get-state</code>メンバは、下記ラムダ式と等価な関数呼び出し可能なオブジェクトで初期化される。</p>
 <p><div class="codehilite"><pre><span></span><code><span class="p">[]</span><span class="o">&lt;</span><span class="k">class</span> <span class="nc">Sndr</span><span class="p">,</span> <span class="k">class</span> <span class="nc">Rcvr</span><span class="o">&gt;</span><span class="p">(</span><span class="n">Sndr</span><span class="o">&amp;&amp;</span> <span class="n">sndr</span><span class="p">,</span> <span class="n">Rcvr</span><span class="o">&amp;</span> <span class="n">rcvr</span><span class="p">)</span> <span class="k">noexcept</span><span class="p">(</span><span class="n"><i>see below</i></span><span class="p">)</span>
-    <span class="n">requires</span> <span class="n"><a href="sender_in.html">sender_in</a></span><span class="o">&lt;</span><span class="n"><a href="child-type.html">child-type</a></span><span class="o">&lt;</span><span class="n">Sndr</span><span class="o">&gt;</span><span class="p">,</span> <span class="n"><a href="env_of_t.html">env_of_t</a></span><span class="o">&lt;</span><span class="n">Rcvr</span><span class="o">&gt;&gt;</span> <span class="p">{</span>
+    <span class="n">requires</span> <span class="n"><a href="sender_in.html">sender_in</a></span><span class="o">&lt;</span><span class="n"><a href="child-type.html">child-type</a></span><span class="o">&lt;</span><span class="n">Sndr</span><span class="o">&gt;</span><span class="p">,</span> <span class="n"><a href="../forwarding_query.html">FWD-ENV-T</a></span><span class="p">(</span><span class="n"><a href="env_of_t.html">env_of_t</a></span><span class="o">&lt;</span><span class="n">Rcvr</span><span class="o">&gt;</span><span class="p">)</span><span class="o">&gt;</span> <span class="p">{</span>
 
   <span class="k">auto</span><span class="o">&amp;</span> <span class="p">[</span><span class="n">_</span><span class="p">,</span> <span class="n">sch</span><span class="p">,</span> <span class="n">child</span><span class="p">]</span> <span class="o">=</span> <span class="n">sndr</span><span class="p">;</span>
 
@@ -288,7 +288,7 @@ <h3>Senderアルゴリズムタグ <code>schedule_from</code></h3>
 <ul>
 <li>ローカルクラス<code>state-type</code>のオブジェクトは<a href="../../../lang/cpp17/structured_bindings.html">構造化束縛</a>における初期化子として利用できる。</li>
 <li>
-<p>説明用のパック<code>Sigs</code>を<code><a href="completion_signatures_of_t.html">completion_signatures_of_t</a>&lt;<a href="child-type.html">child-type</a>&lt;Sndr&gt;, <a href="env_of_t.html">env_of_t</a>&lt;Rcvr&gt;&gt;</code>による<code><a href="completion_signatures.html">completion_signatures</a></code>特殊化のテンプレートパラメータと定義する。説明用のエイリアステンプレート<code>as-tuple&lt;Tag(Args...)&gt;</code>を<code><a href="decayed-tuple.html">decayed-tuple</a>&lt;Args...&gt;</code>と定義する。型<code>variant_t</code>は下記定義において重複削除した型となる。</p>
+<p>説明用のパック<code>Sigs</code>を<code><a href="completion_signatures_of_t.html">completion_signatures_of_t</a>&lt;<a href="child-type.html">child-type</a>&lt;Sndr&gt;, <a href="../forwarding_query.html">FWD-ENV-T</a>(<a href="env_of_t.html">env_of_t</a>&lt;Rcvr&gt;)&gt;</code>による<code><a href="completion_signatures.html">completion_signatures</a></code>特殊化のテンプレートパラメータと定義する。説明用のエイリアステンプレート<code>as-tuple&lt;Tag(Args...)&gt;</code>を<code><a href="decayed-tuple.html">decayed-tuple</a>&lt;Args...&gt;</code>と定義する。型<code>variant_t</code>は下記定義において重複削除した型となる。</p>
 <p><div class="codehilite"><pre><span></span><code><span class="n"><a href="../../variant/variant.html">variant</a></span><span class="o">&lt;</span><span class="n"><a href="../../variant/monostate.html">monostate</a></span><span class="p">,</span> <span class="n">as</span><span class="o">-</span><span class="n"><a href="../../tuple/tuple.html">tuple</a></span><span class="o">&lt;</span><span class="n">Sigs</span><span class="o">&gt;</span><span class="p">...</span><span class="o">&gt;</span>
 </code></pre></div>
 </p>
@@ -379,6 +379,7 @@ <h2>参照</h2>
 <li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2023/p2999r3.html" target="_blank">P2999R3 Sender Algorithm Customization</a></li>
 <li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html" target="_blank">P2300R10 <code>std::execution</code></a></li>
 <li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p3396r1.html" target="_blank">P3396R1 std::execution wording fixes</a></li>
+<li><a href="https://cplusplus.github.io/LWG/issue4203" target="_blank">LWG 4203. Constraints on <code>get-state</code> functions are incorrect</a></li>
 </ul></div>
 
       </div>