LWG4175 get_env() specified in terms of as_const() but this doesn't work with rvalue senders

Author: burblebee

source/exec.tex

@@ -101,6 +101,13 @@
 Otherwise, \tcode{make_exception_ptr(err)}.
 \end{itemize}
 
+\pnum
+For a subexpression \tcode{expr},
+let \tcode{\exposid{AS-CONST}(expr)} be expression-equivalent to
+\begin{codeblock}
+[](const auto& x) noexcept -> const auto& { return x; }(expr)
+\end{codeblock}
+
 \rSec1[exec.queryable]{Queries and queryables}
 
 \rSec2[exec.queryable.general]{General}
@@ -789,7 +796,7 @@
 The name \tcode{get_allocator} denotes a query object.
 For a subexpression \tcode{env},
 \tcode{get_allocator(env)} is expression-equivalent to
-\tcode{\exposid{MANDATE-NOTHROW}(as_const(env).query(get_allocator))}.
+\tcode{\exposid{MANDATE-NOTHROW}(\exposid{AS-CONST}(env).query(get_allocator))}.
 
 \mandates
 If the expression above is well-formed,
@@ -811,7 +818,7 @@
 \tcode{get_stop_token(env)} is expression-equivalent to:
 \begin{itemize}
 \item
-\tcode{\exposid{MANDATE-NOTHROW}(as_const(env).query(get_stop_token))}
+\tcode{\exposid{MANDATE-NOTHROW}(\exposid{AS-CONST}(env).query(get_stop_token))}
 if that expression is well-formed.
 
 \mandates
@@ -833,7 +840,7 @@
 \tcode{execution::get_env(o)} is expression-equivalent to:
 \begin{itemize}
 \item
-\tcode{\exposid{MANDATE-NOTHROW}(as_const(o).get_env())}
+\tcode{\exposid{MANDATE-NOTHROW}(\exposid{AS-CONST}(o).get_env())}
 if that expression is well-formed.
 
 \mandates
@@ -864,7 +871,7 @@
 The name \tcode{get_domain} denotes a query object.
 For a subexpression \tcode{env},
 \tcode{get_domain(env)} is expression-equivalent to
-\tcode{\exposid{MANDATE-NOTHROW}(as_const(env).query(get_domain))}.
+\tcode{\exposid{MANDATE-NOTHROW}(\exposid{AS-CONST}(env).query(get_domain))}.
 
 \pnum
 \tcode{forwarding_query(execution::get_domain)} is
@@ -879,7 +886,7 @@
 The name \tcode{get_scheduler} denotes a query object.
 For a subexpression \tcode{env},
 \tcode{get_scheduler(env)} is expression-equivalent to
-\tcode{\exposid{MANDATE-NOTHROW}(as_const(env).query(get_scheduler))}.
+\tcode{\exposid{MANDATE-NOTHROW}(\exposid{AS-CONST}(env).query(get_scheduler))}.
 
 \mandates
 If the expression above is well-formed,
@@ -900,7 +907,7 @@
 The name \tcode{get_delegation_scheduler} denotes a query object.
 For a subexpression \tcode{env},
 \tcode{get_delegation_scheduler(env)} is expression-equivalent to
-\tcode{\exposid{MANDATE-NOTHROW}(as_const(env).query(get_delegation_scheduler))}.
+\tcode{\exposid{MANDATE-NOTHROW}(\exposid{AS-CONST}(env).query(get_delegation_scheduler))}.
 
 \mandates
 If the expression above is well-formed,
@@ -936,7 +943,7 @@
 \tcode{get_forward_progress_guarantee(sch)} is expression-equivalent to:
 \begin{itemize}
 \item
-\tcode{\exposid{MANDATE-NOTHROW}(as_const(sch).query(get_forward_progress_guarantee))},
+\tcode{\exposid{MANDATE-NOTHROW}(\exposid{AS-CONST}(sch).query(get_forward_progress_guarantee))},
 if that expression is well-formed.
 
 \mandates
@@ -970,7 +977,7 @@
 Otherwise, \tcode{get_completion_scheduler<\exposid{completion-tag}>(q)}
 is expression-equivalent to
 \begin{codeblock}
-@\exposid{MANDATE-NOTHROW}@(as_const(q).query(get_completion_scheduler<@\exposid{completion-tag}@>))
+@\exposid{MANDATE-NOTHROW}@(@\exposid{AS-CONST}@(q).query(get_completion_scheduler<@\exposid{completion-tag}@>))
 \end{codeblock}
 \mandates
 If the expression above is well-formed,