Skip to content

Commit 0da15e0

Browse files
committed
[exec.snd.expos] Move specification of default template argument for 'Data'
Fixes NB US 212-352 (C++26 CD).
1 parent 9add78e commit 0da15e0

File tree

1 file changed

+6
-5
lines changed

1 file changed

+6
-5
lines changed

source/exec.tex

Lines changed: 6 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1716,6 +1716,12 @@
17161716
where \exposid{basic-sender} is the following exposition-only class template except as noted below.
17171717
\end{itemdescr}
17181718

1719+
\pnum
1720+
\remarks
1721+
The default template argument for the \tcode{Data} template parameter
1722+
denotes an unspecified empty trivially copyable class type
1723+
that models \libconcept{semiregular}.
1724+
17191725
\begin{codeblock}
17201726
namespace std::execution {
17211727
template<class Tag>
@@ -1845,11 +1851,6 @@
18451851
}
18461852
\end{codeblock}
18471853

1848-
\pnum
1849-
The default template argument for the \tcode{Data} template parameter
1850-
denotes an unspecified empty trivially copyable class type
1851-
that models \libconcept{semiregular}.
1852-
18531854
\pnum
18541855
It is unspecified whether a specialization of \exposid{basic-sender}
18551856
is an aggregate.

0 commit comments

Comments
 (0)