diff --git a/source/meta.tex b/source/meta.tex
index 826751624b..6f36ee8b76 100644
--- a/source/meta.tex
+++ b/source/meta.tex
@@ -209,7 +209,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>
diff --git a/source/numerics.tex b/source/numerics.tex
index b2d2e2ca07..9fa3cdc268 100644
--- a/source/numerics.tex
+++ b/source/numerics.tex
@@ -16829,8 +16829,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@; };
@@ -17470,7 +17470,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}
diff --git a/source/text.tex b/source/text.tex
index c165904932..c8c6ec408c 100644
--- a/source/text.tex
+++ b/source/text.tex
@@ -7120,7 +7120,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,
@@ -9588,7 +9588,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;
 
@@ -9599,7 +9599,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;
 
@@ -12281,7 +12281,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:
@@ -12552,7 +12552,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:
diff --git a/source/time.tex b/source/time.tex
index 7fa1323a0f..d517367c20 100644
--- a/source/time.tex
+++ b/source/time.tex
@@ -65,7 +65,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 {
@@ -2213,7 +2213,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;