Fixup missing typename by introducing T as typename V::value_type

Author: mattkretz

source/numerics.tex

@@ -18895,8 +18895,15 @@
 
 \begin{itemdescr}
 \pnum
-Let \tcode{mask} be \tcode{typename I::mask_type(true)} for the overload with
-no \tcode{mask} parameter.
+Let
+\begin{itemize}
+ \item
+  \tcode{mask} be \tcode{typename I::mask_type(true)} for the overload with no
+  \tcode{mask} parameter;
+ \item
+  \tcode{T} be \tcode{typename V::value_type}.
+\end{itemize}
+
 
 \pnum
 \mandates
@@ -18907,7 +18914,7 @@
 \item \tcode{V::size() == I::size()} is \tcode{true}, and
 \item if the template parameter pack \tcode{Flags} does not contain
   \tcode{convert-flag}, then the conversion from
-  \tcode{ranges::range_value_t<R>} to \tcode{V::value_type} is
+  \tcode{ranges::range_value_t<R>} to \tcode{T} is
   value-preserving.
 \end{itemize}
 
@@ -18926,8 +18933,8 @@
 \returns
 A \tcode{basic_simd} or \tcode{basic_simd_mask} object where the $i^\text{th}$
 element is initialized to the result of \tcode{mask[$i$] \&\& indices[$i$] <
-ranges::size(in) ? static_cast<V::value_type>(ranges::data(in)[indices[$i$]]) :
-typename V::value_type()} for all $i$ in the range \range{0}{I::size()}.
+ranges::size(in) ? static_cast<T>(ranges::data(in)[indices[$i$]]) :
+T()} for all $i$ in the range \range{0}{I::size()}.
 
 \pnum
 \remarks
@@ -18996,7 +19003,7 @@
 \begin{itemize}
 \item \tcode{ranges::range_value_t<R>} is a vectorizable type, and
 \item if the template parameter pack \tcode{Flags} does not contain
-  \tcode{convert-flag}, then the conversion from \tcode{V::value_type} to
+  \tcode{convert-flag}, then the conversion from \tcode{typename V::value_type} to
   \tcode{ranges::range_value_t<R>} is value-preserving.
 \end{itemize}