@@ -7842,7 +7842,7 @@ namespace std::execution {
7842
7842
}
7843
7843
</pre>
7844
7844
7845
- 2. <code><i> impls-for</i> <tag_t <<i> let-cpo</i> >>::<i> get-state</i></code> is
7845
+ 2. <code><i> impls-for</i> <<i> decayed-typeof </i> <<i> let-cpo</i> >>::<i> get-state</i></code> is
7846
7846
is initialized with a callable object equivalent to the following:
7847
7847
7848
7848
<pre highlight="c++">
@@ -7867,7 +7867,7 @@ namespace std::execution {
7867
7867
specialization named by
7868
7868
<code> completion_signatures_of_t<<i> child-type</i> <Sndr>,
7869
7869
env_of_t<Rcvr>></code> . Let `LetSigs` be a pack of those types in `Sigs`
7870
- with a return type of <code> tag_t <<i> set-cpo</i> ></code> . Let
7870
+ with a return type of <code><i> decayed-typeof </i> <<i> set-cpo</i> ></code> . Let
7871
7871
<i> `as-tuple`</i> be an alias template such that
7872
7872
<code><i> as-tuple</i> <Tag(Args...)></code> denotes the type
7873
7873
<code><i> decayed-tuple</i> <Args...></code> . Then
@@ -7897,13 +7897,13 @@ namespace std::execution {
7897
7897
start(op2);
7898
7898
</pre>
7899
7899
7900
- 4. <code><i> impls-for</i> <tag_t <<i> let-cpo</i> >>::<i> complete</i></code> is
7900
+ 4. <code><i> impls-for</i> <<i> decayed-typeof </i> <<i> let-cpo</i> >>::<i> complete</i></code> is
7901
7901
is initialized with a callable object equivalent to the following:
7902
7902
7903
7903
<pre highlight="c++">
7904
7904
[]<class Tag, class... Args>
7905
7905
(auto, auto& state, auto& rcvr, Tag, Args&&... args) noexcept -> void {
7906
- if constexpr (same_as<Tag, tag_t <<i> set-cpo</i> >>) {
7906
+ if constexpr (same_as<Tag, <i> decayed-typeof </i> <<i> set-cpo</i> >>) {
7907
7907
<i> TRY-EVAL</i> (std::move(rcvr), <i> let-bind</i> (state, rcvr, std::forward<Args>(args)...));
7908
7908
} else {
7909
7909
Tag()(std::move(rcvr), std::forward<Args>(args)...);
@@ -7912,7 +7912,7 @@ namespace std::execution {
7912
7912
</pre>
7913
7913
7914
7914
6. Let `sndr` and `env` be subexpressions, and let `Sndr` be `decltype((sndr))`.
7915
- If <code><i> sender-for</i> <Sndr, tag_t <<i> let-cpo</i> >></code> is
7915
+ If <code><i> sender-for</i> <Sndr, <i> decayed-typeof </i> <<i> let-cpo</i> >></code> is
7916
7916
`false`, then the expression <code><i> let-cpo</i> .transform_env(sndr,
7917
7917
env)</code> is ill-formed. Otherwise, it is equal to
7918
7918
<code><i> JOIN-ENV</i> (<i> let-env</i> (sndr), <i> FWD-ENV</i> (env))</code> .
0 commit comments