Fix overflow issues and remove an extraneous std:: in ranges.tex

cplusplus · cor3ntin · Jul 8, 2022 · Jul 8, 2022 · Jul 8, 2022 · c91f7cc34130bd25f392058294f77a64bc00db09
commit c91f7cc34130bd25f392058294f77a64bc00db09
diff --git a/source/ranges.tex b/source/ranges.tex
@@ -8961,7 +8961,7 @@
 \item
 Otherwise, \tcode{true}
 if there exists an integer $0 \leq i < \tcode{sizeof...(Views)}$
-such that \tcode{bool(std::\brk{}std::get<$i$>(x.\exposid{current_}) ==
+such that \tcode{bool(std::\brk{}get<$i$>(x.\exposid{current_}) ==
 std::get<$i$>(y.\exposid{current_}))} is \tcode{true}.
 \begin{note}
 This allows \tcode{zip_view} to model \libconcept{common_range}

diff --git a/source/utilities.tex b/source/utilities.tex
@@ -1799,8 +1799,8 @@

 \pnum
 \effects
-Initializes the first element with \tcode{std::get<0>(\exposid{FWD}(u))} and
-the second element with \tcode{std::get<1>(\exposid{FWD}(\brk{}u))}.
+Initializes the first element with \tcode{std::get<0>(\exposid{FWD}(u))}\\
+and the second element with \tcode{std::get<1>(\exposid{FWD}(\brk{}u))}.

 \pnum
 \remarks
@@ -2358,7 +2358,8 @@
  template<class F, class Tuple, size_t... I>
  constexpr decltype(auto) @\placeholdernc{apply-impl}@(F&& f, Tuple&& t, index_sequence<I...>) {
                                                                        // \expos
-    return @\placeholdernc{INVOKE}@(std::forward<F>(f), std::get<I>(std::forward<Tuple>(t))...);     // see \ref{func.require}
+    return @\placeholdernc{INVOKE}@(std::forward<F>(f), std::get<I>(std::forward<Tuple>(t))...);
+                                                                        // see \ref{func.require}
  }
 }
 \end{codeblock}
@@ -5324,23 +5325,26 @@
 \item
 If \tcode{valueless_by_exception() \&\& rhs.valueless_by_exception()} no effect.
 \item
-Otherwise, if \tcode{index() == rhs.index()}, calls \tcode{swap(std::get<$i$>(*this), std::get<$i$>(rhs))} where $i$ is \tcode{index()}.
+Otherwise, if \tcode{index() == rhs.index()},\\
+calls \tcode{swap(std::get<$i$>(*this), std::get<$i$>(rhs))} where $i$ is \tcode{index()}.
 \item
 Otherwise, exchanges values of \tcode{rhs} and \tcode{*this}.
 \end{itemize}

 \pnum
 \throws
 If \tcode{index() == rhs.index()},
-any exception thrown by \tcode{swap(std::get<$i$>(*this), std::get<$i$>(rhs))}
+any exception thrown by\\
+\tcode{swap(std::get<$i$>(*this), std::get<$i$>(rhs))}
 with $i$ being \tcode{index()}.
 Otherwise, any exception thrown by the move constructor
 of $\tcode{T}_i$ or $\tcode{T}_j$
 with $i$ being \tcode{index()} and $j$ being \tcode{rhs.index()}.

 \pnum
 \remarks
-If an exception is thrown during the call to function \tcode{swap(std::get<$i$>(*this), std::get<$i$>(rhs))},
+If an exception is thrown during the call to function\\
+tcode{swap(std::get<$i$>(*this), std::get<$i$>(rhs))},
 the states of the contained values of \tcode{*this} and of \tcode{rhs} are
 determined by the exception safety guarantee of \tcode{swap} for lvalues of
 $\tcode{T}_i$ with $i$ being \tcode{index()}.