diff --git a/source/meta.tex b/source/meta.tex
index f0bd37f53d..5a712cc149 100644
--- a/source/meta.tex
+++ b/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>
diff --git a/source/numerics.tex b/source/numerics.tex
index c4310e62fb..a87cb2b2ab 100644
--- a/source/numerics.tex
+++ b/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}
diff --git a/source/text.tex b/source/text.tex
index f8e942ea4c..caa8ec80d4 100644
--- a/source/text.tex
+++ b/source/text.tex
@@ -7105,7 +7105,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,
@@ -9561,7 +9561,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;
 
@@ -9572,7 +9572,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;
 
@@ -12254,7 +12254,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:
@@ -12525,7 +12525,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 67b1b06b47..7e44d1fb91 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 {
@@ -2209,7 +2209,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;