@@ -62,28 +62,28 @@ we also need to change how we specify the variant type of `state.async-result`:
6262<blockquote >
6363Let `Sigs` be a pack of the arguments to the `completion_signatures`
6464specialization named by
65- ` completion_signatures_of_t< child-type <Sndr> , env_of_t< Rcvr >>` .
65+ < code > completion_signatures_of_t< < i > child-type</ i > < Sndr > , env_of_t< Rcvr>> </ code > .
6666Let <i ><code >as-tuple</code ></i > be an alias template
6767<del >
6868that transforms a completion signature `Tag(Args...)` into
69- the tuple specialization ` decayed-tuple<Tag , Args...>` .
69+ the tuple specialization < code >< i > decayed-tuple</ i > < Tag, Args...> </ code > .
7070</del >
7171<ins >
72- such that ` as-tuple<Tag (Args...)>` denotes
73- the tuple specialization ` decayed-tuple<Tag , Args...>` ,
74- and let is-nothrow-decay-copy-sig be
75- a variable template such that
76- <code >is-nothrow-decay-copy-sig< Tag(Args...)> </code >
72+ such that < code >< i > as-tuple</ i > < Tag(Args...)> </ code > denotes
73+ the tuple specialization < code >< i > decayed-tuple</ i > < Tag, Args...> </ code > ,
74+ and let < code >< i > is-nothrow-decay-copy-sig</ i ></ code >
75+ be a variable template such that
76+ <code >< i > is-nothrow-decay-copy-sig</ i > < Tag(Args...)> </code >
7777is a core constant expression of type `bool const` and whose value
7878is `true` if the types `Args...` are all nothrow decay-copyable, and `false`
7979otherwise.
8080Let <i ><code >error-completion</code ></i > be a pack consisting of the type
8181`set_error_t(exception_ptr)` if
82- <code >(is-nothrow-decay-copy-sig< Sigs> && ...)</code >
82+ <code >(< i > is-nothrow-decay-copy-sig</ i > < Sigs> && ...)</code >
8383is `false`, and an empty pack otherwise.
8484</ins >
8585Then `variant_t` denotes the type
86- <code >variant< monostate, as-tuple< Sigs> ...<ins >, <i >error-completion</i >...</ins >> </code >,
86+ <code >variant< monostate, < i > as-tuple</ i > < Sigs> ...<ins >, <i >error-completion</i >...</ins >> </code >,
8787except with duplicate types removed.
8888</blockquote >
8989
0 commit comments