Merge 2025-06 LWG Motion 21

P3149R11 async_scope - Creating scopes for non-sequential concurrency

Author: tkoeppe

source/exceptions.tex

@@ -1126,8 +1126,17 @@
 when \tcode{unhandled_stopped} is called on
 a \tcode{with_awaitable_senders<T>} object\iref{exec.with.awaitable.senders}
 whose continuation is not a handle to a coroutine
-whose promise type has an \tcode{unhandled_stopped} member function.
+whose promise type has an \tcode{unhandled_stopped} member function, or
 
+\item%
+when an object \tcode{scope} of type
+\tcode{std::execution::simple_counting_scope} or
+\tcode{std::execution::counting_scope}
+is destroyed and
+\tcode{scope.\exposid{state}} is not equal to
+\exposid{joined},
+\exposid{unused}, or
+\exposid{unused-and-closed}\iref{exec.simple.counting.ctor}.
 \end{itemize}
 
 \end{note}