From 22f1b483e7bc10177256350f592b75041380111d Mon Sep 17 00:00:00 2001
From: Matthias Kretz <m.kretz@gsi.de>
Date: Mon, 2 Oct 2023 10:07:18 -0600
Subject: [PATCH] Add constraint for BinaryOperation to reduce overloads

ChangeLog:

	* P1928/changelog.tex:
	* P1928/wording.tex:
---
 P1928/changelog.tex | 1 +
 P1928/wording.tex   | 6 ++++++
 2 files changed, 7 insertions(+)

diff --git a/P1928/changelog.tex b/P1928/changelog.tex
index baf779e..2634a24 100644
--- a/P1928/changelog.tex
+++ b/P1928/changelog.tex
@@ -112,5 +112,6 @@ \section{Changelog}
 \item Update section on \code{size_t} vs. \code{int} usage (\sect{sec:simdsizetype}).
 \item Remove all open design questions, leaving LWG / wording questions.
 \item Add LWG question on implementation note (\sect{sec:implnote}).
+\item Add constraint for \code{BinaryOperation} to \code{reduce} overloads (\ref{sec:simd.reductions}).
 %  \todo Add \code{numeric_limits} / numeric traits specializations since behavior of e.g. \code{simd<float>} and \code{float} may differ for reasonable implementations.
 \end{revision}
diff --git a/P1928/wording.tex b/P1928/wording.tex
index a9c6765..12a62f0 100644
--- a/P1928/wording.tex
+++ b/P1928/wording.tex
@@ -1132,6 +1132,9 @@
 \end{itemdecl}
 
 \begin{itemdescr}
+  \pnum\constraints
+  \tcode{BinaryOperation} satisfies \tcode{invocable<simd<T, 1>, simd<T, 1>>}.
+
   \pnum\mandates
   \tcode{binary_op} can be invoked with two arguments of type
   \tcode{basic_simd<T, A1>} returning \tcode{basic_simd<T, A1>} for every
@@ -1151,6 +1154,9 @@
 \end{itemdecl}
 
 \begin{itemdescr}
+  \pnum\constraints
+  \tcode{BinaryOperation} satisfies \tcode{invocable<simd<T, 1>, simd<T, 1>>}.
+
   \pnum\mandates
   \tcode{binary_op} can be invoked with two arguments of type \tcode{basic_simd<T, A1>} returning \tcode{basic_simd<T, A1>} for every \tcode{A1} that is an ABI tag type.