[lib] Remove redundant typename in default template arguments

Affected sections and components:
- [meta.type.synop]
  - `constant_wrapper`
- [format.formattable]
  - _`formattable-with`_
- [re.syn]
  - `regex_iterator`
  - `regex_token_iterator`
- [re.regiter.general]
  - `regex_iterator`
- [re.tokiter.general]
  - `regex_token_iterator`
- [simd.syn]
  - `simd::alignment`
  - `simd::alignment_v`
- [simd.traits]
  - `simd::alignment`
- [time.syn]
  - `time_point`
- [time.point.general]
  - `time_point`

Author: frederick-vs-ja

source/meta.tex

@@ -168,7 +168,7 @@
   template<class T>
     struct @\exposidnc{cw-fixed-value}@;                                      // \expos
 
-  template<@\exposidnc{cw-fixed-value}@ X, class = typename decltype(X)::@\exposid{type}@>
+  template<@\exposidnc{cw-fixed-value}@ X, class = decltype(X)::@\exposid{type}@>
     struct constant_wrapper;
 
   template<class T>

source/numerics.tex

@@ -16497,8 +16497,8 @@
 \begin{codeblock}
 namespace std::simd {
   // \ref{simd.traits}, type traits
-  template<class T, class U = typename T::value_type> struct alignment;
-  template<class T, class U = typename T::value_type>
+  template<class T, class U = T::value_type> struct alignment;
+  template<class T, class U = T::value_type>
     constexpr size_t @\libmember{alignment_v}{simd}@ = alignment<T, U>::value;
 
   template<class T, class V> struct rebind { using type = @\seebelow@; };
@@ -17142,7 +17142,7 @@
 
 \indexlibrarymember{alignment}{simd}
 \begin{itemdecl}
-template<class T, class U = typename T::value_type> struct alignment { @\seebelow@ };
+template<class T, class U = T::value_type> struct alignment { @\seebelow@ };
 \end{itemdecl}
 
 \begin{itemdescr}

source/text.tex

@@ -7101,7 +7101,7 @@
 
 \begin{codeblock}
 template<class T, class Context,
-         class Formatter = typename Context::template formatter_type<remove_const_t<T>>>
+         class Formatter = Context::template formatter_type<remove_const_t<T>>>
   concept @\defexposconcept{formattable-with}@ =                // \expos
     @\libconcept{semiregular}@<Formatter> &&
     requires(Formatter& f, const Formatter& cf, T&& t, Context fc,
@@ -9554,7 +9554,7 @@
 
   // \ref{re.regiter}, class template \tcode{regex_iterator}
   template<class BidirectionalIterator,
-           class charT = typename iterator_traits<BidirectionalIterator>::value_type,
+           class charT = iterator_traits<BidirectionalIterator>::value_type,
            class traits = regex_traits<charT>>
     class regex_iterator;
 
@@ -9565,7 +9565,7 @@
 
   // \ref{re.tokiter}, class template \tcode{regex_token_iterator}
   template<class BidirectionalIterator,
-           class charT = typename iterator_traits<BidirectionalIterator>::value_type,
+           class charT = iterator_traits<BidirectionalIterator>::value_type,
            class traits = regex_traits<charT>>
     class regex_token_iterator;
 
@@ -12247,7 +12247,7 @@
 \begin{codeblock}
 namespace std {
   template<class BidirectionalIterator,
-           class charT = typename iterator_traits<BidirectionalIterator>::value_type,
+           class charT = iterator_traits<BidirectionalIterator>::value_type,
            class traits = regex_traits<charT>>
     class regex_iterator {
     public:
@@ -12518,7 +12518,7 @@
 \begin{codeblock}
 namespace std {
   template<class BidirectionalIterator,
-           class charT = typename iterator_traits<BidirectionalIterator>::value_type,
+           class charT = iterator_traits<BidirectionalIterator>::value_type,
            class traits = regex_traits<charT>>
     class regex_token_iterator {
     public:

source/time.tex

@@ -71,7 +71,7 @@
   template<class Rep, class Period = ratio<1>> class duration;
 
   // \ref{time.point}, class template \tcode{time_point}
-  template<class Clock, class Duration = typename Clock::duration> class time_point;
+  template<class Clock, class Duration = Clock::duration> class time_point;
 }
 
 namespace std {
@@ -2215,7 +2215,7 @@
 \indexlibraryglobal{time_point}%
 \begin{codeblock}
 namespace std::chrono {
-  template<class Clock, class Duration = typename Clock::duration>
+  template<class Clock, class Duration = Clock::duration>
   class time_point {
   public:
     using clock    = Clock;