Generator constraints

ChangeLog: * P1928/changelog.tex: * P1928/wording.tex:
mattkretz · Jun 27, 2024 · fa29296 · fa29296
1 parent 81d52b3
commit fa29296
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/P1928/changelog.tex b/P1928/changelog.tex
@@ -159,6 +159,7 @@ \section{Changelog}
 \item Instead of writing “satisfies X” in \emph{Constraints} and “models X” in
   \emph{Preconditions}, say only “models X” in \emph{Constraints}.
 \item Replace \code{is_trivial_v} with “is trivially copyable”.
+\item First shot at improving generator function constraints.
 
   \todo Reorder \code{simd} and \code{simd_mask} specification in the wording (mask first).
 \end{revision}
diff --git a/P1928/wording.tex b/P1928/wording.tex
@@ -776,8 +776,9 @@
 
 \begin{itemdescr}
   \pnum\constraints
-  \tcode{basic_simd(gen(integral_constant<\simdsizetype, i>()))} is well-formed
-  \foralli.
+  \tcode{basic_simd(gen(integral_constant<\simdsizetype, $i$>()))} is well-formed
+  and the return type of \tcode{gen(integral_constant<\simdsizetype, $i$>())}
+  satisfies \tcode{convertible_to<value_type>} \foralli.
 
   \pnum\effects
   Initializes the $i^\text{th}$ element with