[span.cons] Rephrase constraint on input element type to avoid

overfull \hbox.

Author: jensmaurer

source/containers.tex

@@ -10676,13 +10676,11 @@
 \begin{itemdescr}
 \pnum
 \constraints
+Let \tcode{U} be \tcode{remove_reference_t<iter_reference_t<It>>}.
 \begin{itemize}
 \item \tcode{It} satisfies \libconcept{contiguous_iterator}.
 \item
-\begin{codeblock}
-{is_convertible_v<remove_reference_t<iter_reference_t<It>>(*)[], element_type(*)[]>
-\end{codeblock}
-is \tcode{true}.
+\tcode{is_convertible_v<U(*)[], element_type(*)[]>} is \tcode{true}.
 \begin{note}
 The intent is to allow only qualification conversions
 of the iterator reference type to \tcode{element_type}.
@@ -10718,12 +10716,10 @@
 \begin{itemdescr}
 \pnum
 \constraints
+Let \tcode{U} be \tcode{remove_reference_t<iter_reference_t<It>>}.
 \begin{itemize}
 \item
-\begin{codeblock}
-is_convertible_v<remove_reference_t<iter_reference_t<It>>(*)[], element_type(*)[]>
-\end{codeblock}
-is \tcode{true}.
+\tcode{is_convertible_v<U(*)[], element_type(*)[]>} is \tcode{true}.
 \begin{note}
 The intent is to allow only qualification conversions
 of the iterator reference type to \tcode{element_type}.
@@ -10785,6 +10781,7 @@
 \begin{itemdescr}
 \pnum
 \constraints
+Let \tcode{U} be \tcode{remove_reference_t<ranges::range_reference_t<R>>}.
 \begin{itemize}
 \item \tcode{extent == dynamic_extent} is \tcode{true}.
 \item \tcode{R} satisfies \tcode{ranges::\libconcept{contiguous_range}} and
@@ -10794,11 +10791,8 @@
 \item \tcode{remove_cvref_t<R>} is not a specialization of \tcode{span}.
 \item \tcode{remove_cvref_t<R>} is not a specialization of \tcode{array}.
 \item \tcode{is_array_v<remove_cvref_t<R>>} is \tcode{false}.
-\item\relax
-\begin{codeblock}
-is_convertible_v<remove_reference_t<ranges::range_reference_t<R>>(*)[], element_type(*)[]>
-\end{codeblock}
-is \tcode{true}.
+\item
+\tcode{is_convertible_v<U(*)[], element_type(*)[]>} is \tcode{true}.
 \begin{note}
 The intent is to allow only qualification conversions
 of the iterator reference type to \tcode{element_type}.
@@ -10874,7 +10868,7 @@
 
 \indexlibrary{\idxcode{span}!deduction guide}%
 \begin{itemdecl}
-template <class It, class End>
+template<class It, class End>
   span(It, End) -> span<remove_reference_t<iter_reference_t<It>>>;
 \end{itemdecl}