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

jensmaurer · jensmaurer · commit c238725e1ffa · 2024-07-18T22:28:27.000+02:00
diff --git a/source/exec.tex b/source/exec.tex
@@ -1827,7 +1827,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
`@@ -1827,7 +1827,7 @@`
`1827`	`1827`	`[]<class Index, class Rcvr, class Tag, class... Args>(`
`1828`	`1828`	`Index, auto& state, Rcvr& rcvr, Tag, Args&&... args) noexcept`
`1829`	`1829`	`-> void requires @\exposconcept{callable}@<Tag, Rcvr, Args...> {`
`1830`		`- // Mandates: Index::value == 0`
	`1830`	`+ static_assert(Index::value == 0);`
`1831`	`1831`	`Tag()(std::move(rcvr), std::forward<Args>(args)...);`
`1832`	`1832`	`}`
`1833`	`1833`	`\end{codeblock}`