Merge 2025-11 LWG Motion 6

P3914R0 Assorted NB comment resolutions for Kona 2025

Author: tkoeppe

source/algorithms.tex

@@ -7849,9 +7849,11 @@
 \pnum
 Let \tcode{pred} be \tcode{equal_to\{\}}
 for the overloads with no parameter \tcode{pred}, and
-let $E$ be
+let $E(\tcode{i})$ be
 \begin{itemize}
 \setlength{\emergencystretch}{1em}
+\item
+  \tcode{false} if \tcode{i} is equal to \tcode{first}; otherwise
 \item
   \tcode{bool(pred(*(i - 1), *i))}
   for the overloads in namespace \tcode{std};
@@ -7869,10 +7871,9 @@
 
 \pnum
 \effects
-For a nonempty range, eliminates all but the first element
-from every consecutive group of equivalent elements referred to
-by the iterator \tcode{i} in the range \range{first + 1}{last}
-for which $E$ is \tcode{true}.
+Eliminates all elements referred to
+by the iterator \tcode{i} in the range \range{first}{last}
+for which $E(\tcode{i})$ is \tcode{true}.
 
 \pnum
 \returns
@@ -7952,6 +7953,8 @@
 let $E(\tcode{i})$ be
 \begin{itemize}
 \setlength{\emergencystretch}{1em}
+\item
+  \tcode{false} if \tcode{i} is equal to \tcode{first}; otherwise
 \item
   \tcode{bool(pred(*(i - 1), *i))}
   for the overloads in namespace \tcode{std};
@@ -7964,13 +7967,13 @@
 Let:
 \begin{itemize}
 \item
-  $M$ be the number of iterators \tcode{i} in the range \range{first + 1}{last}
+  $M$ be the number of iterators \tcode{i} in the range \range{first}{last}
   for which $E(\tcode{i})$ is \tcode{false};
 \item
-  \tcode{result_last} be \tcode{result + $M$ + 1}
+  \tcode{result_last} be \tcode{result + $M$}
   for the overloads with no parameter \tcode{result_last} or \tcode{result_r};
 \item
-  $N$ be $\min(M + 1, \ \tcode{result_last - result})$.
+  $N$ be $\min(M, \ \tcode{result_last - result})$.
 \end{itemize}
 
 \pnum
@@ -8016,9 +8019,9 @@
 
 \pnum
 \effects
-Copies only the first element from $N$ consecutive groups of equivalent elements
-referred to by the iterator \tcode{i} in the range \range{first + 1}{last}
-for which $E(\tcode{i})$ holds
+Copies only the first $N$ elements
+referred to by the iterator \tcode{i} in the range \range{first}{last}
+for which $E(\tcode{i})$ is \tcode{false}
 into the range \range{result}{result + $N$}.
 
 \pnum
@@ -8030,13 +8033,13 @@
 \item
   \tcode{\{last, result + $N$\}}
   for the overloads in namespace \tcode{ranges},
-  if $N$ is equal to $M + 1$.
+  if $N$ is equal to $M$.
 \item
   Otherwise, \tcode{\{j, result_last\}}
   for the overloads in namespace \tcode{ranges},
-  where \tcode{j} is the iterator in \range{first + 1}{last}
+  where \tcode{j} is the iterator in \range{first}{last}
   for which $E(\tcode{j})$ is \tcode{false}
-  and there are exactly $N - 1$ iterators \tcode{i} in \range{first + 1}{j}
+  and there are exactly $N$ iterators \tcode{i} in \range{first}{j}
   for which $E(\tcode{i})$ is \tcode{false}.
 \end{itemize}
 

source/exec.tex

@@ -1359,6 +1359,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
@@ -2064,8 +2076,6 @@
   }
 };
 \end{codeblock}
-where \tcode{\placeholder{unspecified-exception}} is
-a type derived from \tcode{exception}.
 
 \pnum
 \indexlibraryglobal{\exposid{decay-copyable-result-datums}}
@@ -2078,8 +2088,6 @@
   });
 }
 \end{codeblock}
-where \tcode{\placeholder{unspecified-exception}} is
-a type derived from \tcode{exception}.
 
 \begin{itemdecl}
 template<class T, class Context>
@@ -2982,7 +2990,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}
@@ -3818,8 +3827,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
@@ -3968,8 +3975,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}
@@ -4254,8 +4259,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
@@ -4473,14 +4476,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
@@ -4818,8 +4820,6 @@
   };
 }
 \end{codeblock}
-where \tcode{\placeholder{unspecified-exception}} is
-a type derived from \tcode{exception}.
 
 \pnum
 Let \tcode{sndr} and \tcode{env} be subexpressions
@@ -5339,8 +5339,10 @@
 
 \pnum
 Let \tcode{\placeholder{ssource-t}} be an unspecified type
-that models \exposconcept{stoppable-source} and
-let \tcode{ssource} be an lvalue of type \tcode{\placeholder{ssource-t}}.
+that models \exposconcept{stoppable-source} and \libconcept{default_initializable},
+such that a default-initialized object of type \tcode{\placeholder{ssource-t}}
+has an associated stop state.
+Let \tcode{ssource} be an lvalue of type \tcode{\placeholder{ssource-t}}.
 Let \tcode{\placeholder{stoken-t}} be \tcode{decltype(ssource.get_token())}.
 Let \exposid{future-spawned-sender} be the alias template:
 
@@ -8530,8 +8532,13 @@
 
 \pnum
 \returns
-A non-null shared pointer to an object
-that implements the \tcode{parallel_scheduler_backend} interface.
+An object \tcode{p},
+such that \tcode{p.get()} points to a \tcode{parallel_scheduler_backend} object
+that is a base-class subobject
+of some most derived object \tcode{o} within its lifetime.
+The lifetime of \tcode{o} does not end
+as long as there exists a \tcode{shared_ptr} object \tcode{q} within its lifetime
+such that \tcode{q.owner_equal(p)} is \tcode{true}.
 
 \pnum
 \remarks
@@ -8562,13 +8569,13 @@
 \begin{itemdescr}
 \pnum
 \expects
-The ends of
-the lifetimes of \tcode{*this},
-the object referred to by \tcode{r}, and
-any storage referenced by \tcode{s}
+The ends
+of the lifetime of \tcode{*this},
+of the lifetime of the object referred to by \tcode{r}, and
+of the duration of any storage referenced by \tcode{s}
 all happen after
 the beginning of the evaluation of
-the call to \tcode{set_value}, \tcode{set_error}, or \tcode{set_done}
+the call to \tcode{set_value}, \tcode{set_error}, or \tcode{set_stopped}
 on \tcode{r} (see below).
 
 \pnum
@@ -8607,12 +8614,14 @@
 \begin{itemdescr}
 \pnum
 \expects
-The ends of
-the lifetimes of \tcode{*this},
-the object referred to by \tcode{r}, and
-any storage referenced by \tcode{s}
+The ends
+of the lifetime of \tcode{*this},
+of the lifetime of the object referred to by \tcode{r}, and
+of the duration of any storage referenced by \tcode{s}
 all happen after
-the beginning of the evaluation of one of the expressions below.
+the beginning of the evaluation of the call to
+\tcode{set_value}, \tcode{set_error}, or \tcode{set_stopped}
+on \tcode{r} (see below).
 
 \pnum
 \effects
@@ -8666,12 +8675,14 @@
 \begin{itemdescr}
 \pnum
 \expects
-The ends of
-the lifetimes of \tcode{*this},
-the object referred to by \tcode{r}, and
-any storage referenced by \tcode{s}
+The ends
+of the lifetime of \tcode{*this},
+of the lifetime of the object referred to by \tcode{r}, and
+of the duration of any storage referenced by \tcode{s}
 all happen after
-the beginning of the evaluation of one of the expressions below.
+the beginning of the evaluation of the call to
+\tcode{set_value}, \tcode{set_error}, or \tcode{set_stopped}
+on \tcode{r} (see below).
 
 \pnum
 \effects