Skip to content

Commit 39c148c

Browse files
authored
[exec.snd.expos] Use \exposconcept for nothrow-callable (cplusplus#7189)
1 parent 5927a64 commit 39c148c

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

source/exec.tex

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1463,11 +1463,11 @@
14631463
Fun @\exposid{fun}@; // \expos
14641464
using type = @\exposid{call-result-t}@<Fun>;
14651465

1466-
constexpr operator type() && noexcept(@\exposid{nothrow-callable}@<Fun>) {
1466+
constexpr operator type() && noexcept(@\exposconcept{nothrow-callable}@<Fun>) {
14671467
return std::move(fun)();
14681468
}
14691469

1470-
constexpr type operator()() && noexcept(@\exposid{nothrow-callable}@<Fun>) {
1470+
constexpr type operator()() && noexcept(@\exposconcept{nothrow-callable}@<Fun>) {
14711471
return std::move(fun)();
14721472
}
14731473
};
@@ -1730,7 +1730,7 @@
17301730
the constructor of \exposid{basic-state} is:
17311731
\begin{codeblock}
17321732
is_nothrow_move_constructible_v<Rcvr> &&
1733-
@\exposid{nothrow-callable}@<decltype(@\exposid{impls-for}@<tag_of_t<Sndr>>::@\exposid{get-state}@), Sndr, Rcvr&>
1733+
@\exposconcept{nothrow-callable}@<decltype(@\exposid{impls-for}@<tag_of_t<Sndr>>::@\exposid{get-state}@), Sndr, Rcvr&>
17341734
\end{codeblock}
17351735

17361736
\pnum

0 commit comments

Comments
 (0)