Skip to content

Commit 105a339

Browse files
committed
fixup concepts
1 parent c952953 commit 105a339

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

source/exec.tex

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1059,7 +1059,7 @@
10591059
concept @\deflibconcept{receiver}@ =
10601060
@\libconcept{derived_from}@<typename remove_cvref_t<Rcvr>::receiver_concept, receiver_t> &&
10611061
requires(const remove_cvref_t<Rcvr>& rcvr) {
1062-
{ get_env(rcvr) } -> queryable;
1062+
{ get_env(rcvr) } -> @\exposconcept{queryable}@;
10631063
} &&
10641064
@\libconcept{move_constructible}@<remove_cvref_t<Rcvr>> && // rvalues are movable, and
10651065
@\libconcept{constructible_from}@<remove_cvref_t<Rcvr>, Rcvr>; // lvalues are copyable
@@ -1828,7 +1828,7 @@
18281828
to communicate to users why.
18291829

18301830
\begin{itemdecl}
1831-
template<sender Sndr, queryable Env>
1831+
template<@\libconcept{sender}@ Sndr, @\exposconcept{queryable}@ Env>
18321832
constexpr auto @\exposid{write-env}@(Sndr&& sndr, Env&& env); // \expos
18331833
\end{itemdecl}
18341834

0 commit comments

Comments
 (0)