From fa29296e2c15e768386f2377c95689dff57f66e0 Mon Sep 17 00:00:00 2001
From: Matthias Kretz <m.kretz@gsi.de>
Date: Thu, 27 Jun 2024 15:36:15 -0500
Subject: [PATCH] Generator constraints

ChangeLog:

	* P1928/changelog.tex:
	* P1928/wording.tex:
---
 P1928/changelog.tex | 1 +
 P1928/wording.tex   | 5 +++--
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/P1928/changelog.tex b/P1928/changelog.tex
index 78d75ee..1b7aafa 100644
--- 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
index a49a813..2b69232 100644
--- 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