From 0da15e0dc98aff8beb68b0a5c99fcbeb53d4fdf4 Mon Sep 17 00:00:00 2001 From: Jens Maurer Date: Sat, 4 Oct 2025 23:54:24 +0200 Subject: [PATCH] [exec.snd.expos] Move specification of default template argument for 'Data' Fixes NB US 212-352 (C++26 CD). --- source/exec.tex | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/source/exec.tex b/source/exec.tex index e1870a2de9..b776c1ea86 100644 --- a/source/exec.tex +++ b/source/exec.tex @@ -1716,6 +1716,12 @@ where \exposid{basic-sender} is the following exposition-only class template except as noted below. \end{itemdescr} +\pnum +\remarks +The default template argument for the \tcode{Data} template parameter +denotes an unspecified empty trivially copyable class type +that models \libconcept{semiregular}. + \begin{codeblock} namespace std::execution { template @@ -1845,11 +1851,6 @@ } \end{codeblock} -\pnum -The default template argument for the \tcode{Data} template parameter -denotes an unspecified empty trivially copyable class type -that models \libconcept{semiregular}. - \pnum It is unspecified whether a specialization of \exposid{basic-sender} is an aggregate.