Publish: constrain more Env parameters with queryable d42af37

execution.html

@@ -2246,7 +2246,7 @@
   <div class="head">
    <p data-fill-with="logo"></p>
    <h1 class="p-name no-ref" id="title">D2300R8<br><code class="highlight"><c- n>std</c-><c- o>::</c-><c- n>execution</c-></code></h1>
-   <h2 class="no-num no-toc no-ref heading settled" id="profile-and-date"><span class="content">Draft Proposal, <time class="dt-updated" datetime="2023-12-11">2023-12-11</time></span></h2>
+   <h2 class="no-num no-toc no-ref heading settled" id="profile-and-date"><span class="content">Draft Proposal, <time class="dt-updated" datetime="2023-12-12">2023-12-12</time></span></h2>
    <div data-fill-with="spec-metadata">
     <dl>
      <dt class="editor">Authors:
@@ -6341,10 +6341,10 @@ <h3 class="heading settled" data-level="11.4" id="spec-execution.syn"><span clas
   <c- k>template</c-><c- o>&lt;</c-><c- k>class</c-> <c- nc>Domain</c-><c- p>,</c-> <c- n>sender</c-> <c- n>Sender</c-><c- o>></c->
     <c- k>constexpr</c-> <c- n>sender</c-> <c- k>decltype</c-><c- p>(</c-><c- k>auto</c-><c- p>)</c-> <c- n>transform_sender</c-><c- p>(</c-><c- n>Domain</c-> <c- n>dom</c-><c- p>,</c-> <c- n>Sender</c-><c- o>&amp;&amp;</c-> <c- n>sndrv</c-><c- p>);</c->
 
-  <c- k>template</c-><c- o>&lt;</c-><c- k>class</c-> <c- nc>Domain</c-><c- p>,</c-> <c- n>sender</c-> <c- n>Sender</c-><c- p>,</c-> <c- k>class</c-> <c- nc>Env</c-><c- o>></c->
+  <c- k>template</c-><c- o>&lt;</c-><c- k>class</c-> <c- nc>Domain</c-><c- p>,</c-> <c- n>sender</c-> <c- n>Sender</c-><c- p>,</c-> <c- n>queryable</c-> <c- n>Env</c-><c- o>></c->
     <c- k>constexpr</c-> <c- n>sender</c-> <c- k>decltype</c-><c- p>(</c-><c- k>auto</c-><c- p>)</c-> <c- n>transform_sender</c-><c- p>(</c-><c- n>Domain</c-> <c- n>dom</c-><c- p>,</c-> <c- n>Sender</c-><c- o>&amp;&amp;</c-> <c- n>sndr</c-><c- p>,</c-> <c- k>const</c-> <c- n>Env</c-><c- o>&amp;</c-> <c- n>env</c-><c- p>);</c->
 
-  <c- k>template</c-><c- o>&lt;</c-><c- k>class</c-> <c- nc>Domain</c-><c- p>,</c-> <c- n>sender</c-> <c- n>Sender</c-><c- p>,</c-> <c- k>class</c-> <c- nc>Env</c-><c- o>></c->
+  <c- k>template</c-><c- o>&lt;</c-><c- k>class</c-> <c- nc>Domain</c-><c- p>,</c-> <c- n>sender</c-> <c- n>Sender</c-><c- p>,</c-> <c- n>queryable</c-> <c- n>Env</c-><c- o>></c->
     <c- k>constexpr</c-> <c- k>decltype</c-><c- p>(</c-><c- k>auto</c-><c- p>)</c-> <c- n>transform_env</c-><c- p>(</c-><c- n>Domain</c-> <c- n>dom</c-><c- p>,</c-> <c- n>Sender</c-><c- o>&amp;&amp;</c-> <c- n>sndr</c-><c- p>,</c-> <c- n>Env</c-><c- o>&amp;&amp;</c-> <c- n>env</c-><c- p>)</c-> <c- k>noexcept</c-><c- p>;</c->
 
   <c- c1>// [exec.snd.apply], sender algorithm application</c->
@@ -7529,7 +7529,7 @@ <h4 class="heading settled" data-level="11.9.5" id="spec-execution.sender_transf
   the single expression <code class="highlight"><c- n>env</c-></code> for the second overload and an empty pack for
   the first. Let <code class="highlight"><c- n>s2</c-></code> be the expression <code class="highlight"><c- n>dom</c-><c- p>.</c-><c- n>transform_sender</c-><c- p>(</c-><c- n>std</c-><c- o>::</c-><c- n>forward</c-><c- o>&lt;</c-><c- n>Sender</c-><c- o>></c-><c- p>(</c-><c- n>sndr</c-><c- p>),</c-> <i><c- n>ENV</c-></i><c- p>...)</c-></code> if that expression is well-formed; otherwise, <code class="highlight"><c- n>default_domain</c-><c- p>().</c-><c- n>transform_sender</c-><c- p>(</c-><c- n>std</c-><c- o>::</c-><c- n>forward</c-><c- o>&lt;</c-><c- n>Sender</c-><c- o>></c-><c- p>(</c-><c- n>sndr</c-><c- p>),</c-> <i><c- n>ENV</c-></i><c- p>...)</c-></code>. If <code class="highlight"><c- n>s2</c-></code> and <code class="highlight"><c- n>sndr</c-></code> have the same type ignoring <em>cv</em> qualifiers, returns <code class="highlight"><c- n>s2</c-></code>; otherwise, <code class="highlight"><c- n>transform_sender</c-><c- p>(</c-><c- n>dom</c-><c- p>,</c-> <c- n>s2</c-><c- p>,</c-> <i><c- n>ENV</c-></i><c- p>...)</c-></code>.</p>
    </ol>
-<pre class="highlight"><c- k>template</c-><c- o>&lt;</c-><c- k>class</c-> <c- nc>Domain</c-><c- p>,</c-> <c- n>sender</c-> <c- n>Sender</c-><c- p>,</c-> <c- k>class</c-> <c- nc>Env</c-><c- o>></c->
+<pre class="highlight"><c- k>template</c-><c- o>&lt;</c-><c- k>class</c-> <c- nc>Domain</c-><c- p>,</c-> <c- n>sender</c-> <c- n>Sender</c-><c- p>,</c-> <c- n>queryable</c-> <c- n>Env</c-><c- o>></c->
   <c- k>constexpr</c-> <c- k>decltype</c-><c- p>(</c-><c- k>auto</c-><c- p>)</c-> <c- n>transform_env</c-><c- p>(</c-><c- n>Domain</c-> <c- n>dom</c-><c- p>,</c-> <c- n>Sender</c-><c- o>&amp;&amp;</c-> <c- n>sndr</c-><c- p>,</c-> <c- n>Env</c-><c- o>&amp;&amp;</c-> <c- n>env</c-><c- p>)</c-> <c- k>noexcept</c-><c- p>;</c->
 </pre>
    <ol start="3">