P3914R0: Re NB US 209-332 (C++26 CD)

Fixes NB US 209-332 (C++26 CD).

Author: eisenwave

source/exec.tex

@@ -1364,6 +1364,18 @@
 shall denote the same type.
 \end{itemize}
 
+\pnum
+\indexlibraryglobal{\tcode{\placeholder{unspecified-exception}}}%
+Various function templates in subclause \ref{exec.snd}
+can throw an exception of type \exposid{unspecified-exception}.
+Each such exception object is of an unspecified type
+such that a \grammarterm{handler} of type \tcode{exception}
+matches\iref{except.handle} the exception object
+but a \grammarterm{handler} of type \tcode{dependent_sender_error} does not.
+\begin{note}
+There is no requirement that two such exception objects have the same type.
+\end{note}
+
 \rSec2[exec.snd.expos]{Exposition-only entities}
 
 \pnum
@@ -2068,8 +2080,6 @@
   }
 };
 \end{codeblock}
-where \tcode{\placeholder{unspecified-exception}} is
-a type derived from \tcode{exception}.
 
 \pnum
 \indexlibraryglobal{\exposid{decay-copyable-result-datums}}
@@ -2082,8 +2092,6 @@
   });
 }
 \end{codeblock}
-where \tcode{\placeholder{unspecified-exception}} is
-a type derived from \tcode{exception}.
 
 \begin{itemdecl}
 template<class T, class Context>
@@ -2986,7 +2994,8 @@
 
 \pnum
 \throws
-An exception of an unspecified type derived from \tcode{exception} if
+An exception of type
+\tcode{\placeholder{unspecified-exception}}\iref{exec.snd.general} if
 the expression \tcode{Q()(env)} is ill-formed or has type \tcode{void}, where
 \tcode{env} is an lvalue subexpression whose type is \tcode{Env}.
 \end{itemdescr}
@@ -3822,8 +3831,6 @@
 };
 cs.@\exposid{for-each}@(@\exposid{overload-set}@{fn, [](auto){}});
 \end{codeblock}
-where \tcode{\placeholder{unspecified-exception}} is
-a type derived from \tcode{exception}.
 \end{itemdescr}
 
 \pnum
@@ -3972,8 +3979,6 @@
 };
 cs.@\exposid{for-each}@(@\exposid{overload-set}@(fn, [](auto){}));
 \end{codeblock}
-where \tcode{\placeholder{unspecified-exception}} is
-a type derived from \tcode{exception}, and
 where \tcode{\placeholder{is-valid-let-sender}} is \tcode{true} if and only if
 all of the following are \tcode{true}:
 \begin{itemize}
@@ -4258,8 +4263,6 @@
 };
 cs.@\exposid{for-each}@(@\exposid{overload-set}@(fn, [](auto){}));
 \end{codeblock}
-where \tcode{\placeholder{unspecified-exception}} is
-a type derived from \tcode{exception}.
 \end{itemdescr}
 
 \pnum
@@ -4475,14 +4478,13 @@
 };
 (fn.template operator()<@\exposid{child-type}@<Sndr, Is>>(), ...);
 \end{codeblock}
-where \tcode{\placeholder{unspecified-exception}} is
-a type derived from \tcode{exception}.
 
 \pnum
 \throws
 Any exception thrown as a result of evaluating the \Fundescx{Effects}, or
-an exception of an unspecified type
-derived from \tcode{exception} when \tcode{CD} is ill-formed.
+an exception of type
+\tcode{\placeholder{unspecified-\brk{}exception}}\iref{exec.snd.general}
+when \tcode{CD} is ill-formed.
 \end{itemdescr}
 
 \pnum
@@ -4820,8 +4822,6 @@
   };
 }
 \end{codeblock}
-where \tcode{\placeholder{unspecified-exception}} is
-a type derived from \tcode{exception}.
 
 \pnum
 Let \tcode{sndr} and \tcode{env} be subexpressions