[depr.conversions.string] remove redundent respecification (cplusplus#6004)

AlisdairM · web-flow · commit cee095e75a97 · 2022-12-15T23:51:26.000Z
There are several typedef names defined precisely in the deprecated code conversion
facets classes that are redundantly respecified in text. Nowhere else in the library
does this; any specified typedef names are _see below_ definitions, not repeats of
the class definition. Needless redundancy is always a risk of divergence, however
small, so remove the respecification in text form.
diff --git a/source/future.tex b/source/future.tex
@@ -2133,6 +2133,10 @@
 \end{example}
 
 \indexlibraryglobal{wstring_convert}%
+\indexlibrarymember{byte_string}{wstring_convert}%
+\indexlibrarymember{int_type}{wstring_convert}%
+\indexlibrarymember{state_type}{wstring_convert}%
+\indexlibrarymember{wide_string}{wstring_convert}%
 \begin{codeblock}
 namespace std {
   template<class Codecvt, class Elem = wchar_t,
@@ -2203,16 +2207,6 @@
 \item \tcode{cvtcount} --- a conversion count
 \end{itemize}
 
-\indexlibrarymember{byte_string}{wstring_convert}%
-\begin{itemdecl}
-using byte_string = basic_string<char, char_traits<char>, ByteAlloc>;
-\end{itemdecl}
-
-\begin{itemdescr}
-\pnum
-The type shall be a synonym for \tcode{basic_string<char, char_traits<char>, ByteAlloc>}.
-\end{itemdescr}
-
 \indexlibrarymember{converted}{wstring_convert}%
 \begin{itemdecl}
 size_t converted() const noexcept;
@@ -2261,16 +2255,6 @@
 Otherwise, the member function throws an object of class \tcode{range_error}.
 \end{itemdescr}
 
-\indexlibrarymember{int_type}{wstring_convert}%
-\begin{itemdecl}
-using int_type = typename wide_string::traits_type::int_type;
-\end{itemdecl}
-
-\begin{itemdescr}
-\pnum
-The type shall be a synonym for \tcode{wide_string::traits_type::int_type}.
-\end{itemdescr}
-
 \indexlibrarymember{state}{wstring_convert}%
 \begin{itemdecl}
 state_type state() const;
@@ -2282,16 +2266,6 @@
 \tcode{cvtstate}.
 \end{itemdescr}
 
-\indexlibrarymember{state_type}{wstring_convert}%
-\begin{itemdecl}
-using state_type = typename Codecvt::state_type;
-\end{itemdecl}
-
-\begin{itemdescr}
-\pnum
-The type shall be a synonym for \tcode{Codecvt::state_type}.
-\end{itemdescr}
-
 \indexlibrarymember{to_bytes}{wstring_convert}%
 \begin{itemdecl}
 byte_string to_bytes(Elem wchar);
@@ -2329,17 +2303,6 @@
 Otherwise, the member function shall throw an object of class \tcode{range_error}.
 \end{itemdescr}
 
-\indexlibrarymember{wide_string}{wstring_convert}%
-\begin{itemdecl}
-using wide_string = basic_string<Elem, char_traits<Elem>, WideAlloc>;
-\end{itemdecl}
-
-\begin{itemdescr}
-\pnum
-The type shall be a synonym for \tcode{basic_string<Elem,
-char_traits<Elem>, WideAlloc>}.
-\end{itemdescr}
-
 \indexlibraryctor{wstring_convert}%
 \begin{itemdecl}
 explicit wstring_convert(Codecvt* pcvt);
@@ -2390,6 +2353,7 @@
 without affecting any streams or locales.
 
 \indexlibraryglobal{wbuffer_convert}%
+\indexlibrarymember{state_type}{wbuffer_convert}%
 \begin{codeblock}
 namespace std {
   template<class Codecvt, class Elem = wchar_t, class Tr = char_traits<Elem>>
@@ -2476,16 +2440,6 @@
 The previous value of \tcode{bufptr}.
 \end{itemdescr}
 
-\indexlibrarymember{state_type}{wbuffer_convert}%
-\begin{itemdecl}
-using state_type = typename Codecvt::state_type;
-\end{itemdecl}
-
-\begin{itemdescr}
-\pnum
-The type shall be a synonym for \tcode{Codecvt::state_type}.
-\end{itemdescr}
-
 \indexlibraryctor{wbuffer_convert}%
 \begin{itemdecl}
 explicit wbuffer_convert(
