[exec.snd.expos] Use static_assert instead of 'Mandates' in a comment

jensmaurer · tkoeppe · commit ab82231a76bc · 2024-07-26T00:44:04.000+01:00
diff --git a/source/exec.tex b/source/exec.tex
@@ -1826,7 +1826,7 @@
 []<class Index, class Rcvr, class Tag, class... Args>(
   Index, auto& state, Rcvr& rcvr, Tag, Args&&... args) noexcept
     -> void requires @\exposconcept{callable}@<Tag, Rcvr, Args...> {
-  // Mandates: Index::value == 0
+  static_assert(Index::value == 0);
   Tag()(std::move(rcvr), std::forward<Args>(args)...);
 }
 \end{codeblock}

Original file line number	Diff line number	Diff line change
`@@ -1826,7 +1826,7 @@`
`1826`	`1826`	`[]<class Index, class Rcvr, class Tag, class... Args>(`
`1827`	`1827`	`Index, auto& state, Rcvr& rcvr, Tag, Args&&... args) noexcept`
`1828`	`1828`	`-> void requires @\exposconcept{callable}@<Tag, Rcvr, Args...> {`
`1829`		`- // Mandates: Index::value == 0`
	`1829`	`+ static_assert(Index::value == 0);`
`1830`	`1830`	`Tag()(std::move(rcvr), std::forward<Args>(args)...);`
`1831`	`1831`	`}`
`1832`	`1832`	`\end{codeblock}`