Skip to content

Commit db80a46

Browse files
authored
[rand.dist.samp.plinear] Fix copy & paste error in Mandates (#6794)
This error was present in the incoming P1719R2 paper (Mandating the Standard Library: Clause 26 - Numerics Library), but is obviously bogus. There is no UnaryOperation type in that constructor. The correct requirement is taken from the corresponding constructor in [rand.dist.samp.pconst].
1 parent 70b99af commit db80a46

File tree

1 file changed

+6
-1
lines changed

1 file changed

+6
-1
lines changed

source/numerics.tex

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6395,7 +6395,12 @@
63956395
\begin{itemdescr}
63966396
\pnum
63976397
\mandates
6398-
\tcode{is_invocable_r_v<double, UnaryOperation\&, double>} is \tcode{true}.
6398+
Both of
6399+
\begin{itemize}
6400+
\item{\tcode{is_convertible_v<iterator_traits<InputIteratorB>::value_type, double>}}
6401+
\item{\tcode{is_convertible_v<iterator_traits<InputIteratorW>::value_type, double>}}
6402+
\end{itemize}
6403+
are \tcode{true}.
63996404

64006405
\pnum
64016406
\expects

0 commit comments

Comments
 (0)