LWG4227 Missing noexcept operator in [exec.when.all]

burblebee · tkoeppe · commit 6b81b725b0ef · 2025-07-14T23:41:25.000+01:00
diff --git a/source/exec.tex b/source/exec.tex
@@ -4196,7 +4196,7 @@
 is initialized with a callable object
 equivalent to the following lambda expression:
 \begin{codeblock}
-[]<class Sndr, class Rcvr>(Sndr&& sndr, Rcvr& rcvr) noexcept(@$e$@) -> decltype(@$e$@) {
+[]<class Sndr, class Rcvr>(Sndr&& sndr, Rcvr& rcvr) noexcept(noexcept(@$e$@)) -> decltype(@$e$@) {
   return @$e$@;
 }
 \end{codeblock}

Original file line number	Diff line number	Diff line change
`@@ -4196,7 +4196,7 @@`
`4196`	`4196`	`is initialized with a callable object`
`4197`	`4197`	`equivalent to the following lambda expression:`
`4198`	`4198`	`\begin{codeblock}`
`4199`		`-[]<class Sndr, class Rcvr>(Sndr&& sndr, Rcvr& rcvr) noexcept(@$e$@) -> decltype(@$e$@) {`
	`4199`	`+[]<class Sndr, class Rcvr>(Sndr&& sndr, Rcvr& rcvr) noexcept(noexcept(@$e$@)) -> decltype(@$e$@) {`
`4200`	`4200`	`return @$e$@;`
`4201`	`4201`	`}`
`4202`	`4202`	`\end{codeblock}`