From 48b0b0b1cf55146ebe6cd8de9dee78d6c3c1cd3c Mon Sep 17 00:00:00 2001
From: Stefanus Du Toit <sjdutoit@gmail.com>
Date: Mon, 23 Sep 2013 11:02:44 -0500
Subject: [PATCH 1/5] NB GB-11 (C++14 CD) [re.iter], [re.tokiter] Fix
 exposition-only member formatting.

Closes #188.
---
 source/regex.tex | 26 +++++++++++++-------------
 1 file changed, 13 insertions(+), 13 deletions(-)

diff --git a/source/regex.tex b/source/regex.tex
index 3253aabff7..d19063eaf6 100644
--- a/source/regex.tex
+++ b/source/regex.tex
@@ -3558,12 +3558,11 @@
      regex_iterator& operator++();
      regex_iterator operator++(int);
   private:
-     // these members are shown for exposition only:
-     BidirectionalIterator                begin;
-     BidirectionalIterator                end;
-     const regex_type*                    pregex;
-     regex_constants::match_flag_type     flags;
-     match_results<BidirectionalIterator> match;
+     BidirectionalIterator                begin;  // \expos
+     BidirectionalIterator                end;    // \expos
+     const regex_type*                    pregex; // \expos
+     regex_constants::match_flag_type     flags;  // \expos
+     match_results<BidirectionalIterator> match;  // \expos
   }; 
 }
 \end{codeblock}
@@ -3837,13 +3836,14 @@
     const value_type* operator->() const;
     regex_token_iterator& operator++();
     regex_token_iterator operator++(int);
-  private:  // data members for exposition only:
-    typedef regex_iterator<BidirectionalIterator, charT, traits> position_iterator;
-    position_iterator position;
-    const value_type* result;
-    value_type suffix;
-    std::size_t N;
-    std::vector<int> subs;
+  private:
+    typedef
+      regex_iterator<BidirectionalIterator, charT, traits> position_iterator; // \expos
+    position_iterator position;                                               // \expos
+    const value_type* result;                                                 // \expos
+    value_type suffix;                                                        // \expos
+    std::size_t N;                                                            // \expos
+    std::vector<int> subs;                                                    // \expos
   };
 }
 \end{codeblock}

From 67e7638b7c3db020a1b61fd083dd60c3ca24a25a Mon Sep 17 00:00:00 2001
From: Stefanus Du Toit <sjdutoit@gmail.com>
Date: Mon, 23 Sep 2013 11:21:58 -0500
Subject: [PATCH 2/5] NB ES-15 (C++14 CD) [associative.reqmts]: Remove
 unnecessary definition in table.

The identifier "u" was unnecessarily defined in the explanatory
paragraph for the Associative Requirements table (Table 102).

Closes #187.
---
 source/containers.tex | 1 -
 1 file changed, 1 deletion(-)

diff --git a/source/containers.tex b/source/containers.tex
index e29349c650..c4924e04c8 100644
--- a/source/containers.tex
+++ b/source/containers.tex
@@ -1244,7 +1244,6 @@
 when \tcode{X} supports multiple keys,
 \tcode{a_tran} denotes a value of \tcode{X} when the type
 \tcode{X::key_compare::is_transparent} exists,
-\tcode{u} denotes an identifier,
 \tcode{i} and \tcode{j}
 satisfy input iterator requirements and refer to elements
 implicitly convertible to

From 97a96f4cda5a4aaf012897d552b1f6cfee783421 Mon Sep 17 00:00:00 2001
From: Stefanus Du Toit <sjdutoit@gmail.com>
Date: Mon, 23 Sep 2013 15:11:44 -0500
Subject: [PATCH 3/5] NB CH-6 (C++14 CD) [over.literal]: Mark reserved example
 as such.

Mark the existing example for user-defined literals with the plain
"E" suffix as reserved for clarity.

Closes #181.
---
 source/overloading.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/source/overloading.tex b/source/overloading.tex
index 114a40c94d..4259aa391b 100644
--- a/source/overloading.tex
+++ b/source/overloading.tex
@@ -3219,7 +3219,7 @@
 void operator "" _km(long double);                  // OK
 string operator "" _i18n(const char*, std::size_t); // OK
 template <char...> double operator "" _\u03C0();    // OK: UCN for lowercase pi
-float operator ""E(const char*);                    // OK
+float operator ""E(const char*);                    // OK, but reserved~(\ref{usrlit.suffix})
 float operator " " B(const char*);                  // error: non-empty \grammarterm{string-literal}
 string operator "" 5X(const char*, std::size_t);    // error: invalid literal suffix identifier
 double operator "" _miles(double);                  // error: invalid \grammarterm{parameter-declaration-clause}

From 5c5b6712e41fe2cd8d554802b2179616b98c15f3 Mon Sep 17 00:00:00 2001
From: Stefanus Du Toit <sjdutoit@gmail.com>
Date: Tue, 24 Sep 2013 09:21:31 -0500
Subject: [PATCH 4/5] NB CH-7 (C++14 CD) [intseq.general] Clarify purpose of
 index_sequence.

Add a note to clarify that, and why, index_sequence<> exists since it's
only specified in the summary.

Closes #183.
---
 source/utilities.tex | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/source/utilities.tex b/source/utilities.tex
index 24bf2f9675..bbe2d5251f 100644
--- a/source/utilities.tex
+++ b/source/utilities.tex
@@ -1999,6 +1999,10 @@
 \end{codeblock}
 
 \exitexample
+\enternote
+The \tcode{index_sequence} alias template is provided for the common case of
+an integer sequence of type \tcode{size_t}.
+\exitnote
 
 \rSec2[intseq.intseq]{Class template \tcode{integer_sequence}}
 

From d33d3890c0d361eb626ce1f7898e03fe731ebf44 Mon Sep 17 00:00:00 2001
From: Stefanus Du Toit <sjdutoit@gmail.com>
Date: Tue, 24 Sep 2013 11:35:59 -0500
Subject: [PATCH 5/5] NB US-15 (C++14 CD): Use the _t form of type traits.

Throughout the text, replace uses of traits of the form

  typename decay<T>::type

with the shorter form

  decay_t<T>

using the alias templates introduced in the CD. Do this for all type
traits with such aliases.

Closes #178.
---
 source/threads.tex   |  14 +++---
 source/utilities.tex | 102 +++++++++++++++++++++----------------------
 2 files changed, 57 insertions(+), 59 deletions(-)

diff --git a/source/threads.tex b/source/threads.tex
index 4cac5e07b8..f3afb5f133 100644
--- a/source/threads.tex
+++ b/source/threads.tex
@@ -276,7 +276,7 @@
 result, where \tcode{decay_copy} is defined as follows:
 
 \begin{codeblock}
-template <class T> typename decay<T>::type decay_copy(T&& v)
+template <class T> decay_t<T> decay_copy(T&& v)
   { return std::forward<T>(v); }
 \end{codeblock}
 
@@ -3501,10 +3501,10 @@
     struct uses_allocator<packaged_task<R>, Alloc>;
 
   template <class F, class... Args>
-    future<typename result_of<typename decay<F>::type(typename decay<Args>::type...)>::type>
+    future<result_of_t<decay_t<F>(decay_t<Args>...)>>
     async(F&& f, Args&&... args);
   template <class F, class... Args>
-    future<typename result_of<typename decay<F>::type(typename decay<Args>::type...)>::type>
+    future<result_of_t<decay_t<F>(decay_t<Args>...)>>
     async(launch policy, F&& f, Args&&... args);
 }
 \end{codeblock}
@@ -4607,11 +4607,9 @@
 \indexlibrary{\idxcode{async}}%
 \begin{itemdecl}
 template <class F, class... Args>
-  future<typename result_of<typename decay<F>::type(typename decay<Args>::type...)>::type>
-  async(F&& f, Args&&... args);
+  future<result_of_t<decay_t<F>(decay_t<Args>...)>> async(F&& f, Args&&... args);
 template <class F, class... Args>
-  future<typename result_of<typename decay<F>::type(typename decay<Args>::type...)>::type>
-  async(launch policy, F&& f, Args&&... args);
+  future<result_of_t<decay_t<F>(decay_t<Args>...)>> async(launch policy, F&& f, Args&&... args);
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -4680,7 +4678,7 @@
 
 \pnum
 \returns An object of type
-\tcode{future<typename result_of<typename decay<F>::type(typename de\-cay<Args>::type...)>::type>} that refers
+\tcode{future<result_of_t<decay_t<F>(decay_t<Args>...)>{>}} that refers
 to the shared state created by this call to \tcode{async}.
 
 \pnum
diff --git a/source/utilities.tex b/source/utilities.tex
index bbe2d5251f..a4ad24efbf 100644
--- a/source/utilities.tex
+++ b/source/utilities.tex
@@ -63,19 +63,19 @@
 
   // \ref{forward}, forward/move:
   template <class T> 
-    constexpr T&& forward(typename remove_reference<T>::type& t) noexcept;
+    constexpr T&& forward(remove_reference_t<T>& t) noexcept;
   template <class T>
-    constexpr T&& forward(typename remove_reference<T>::type&& t) noexcept;
+    constexpr T&& forward(remove_reference_t<T>&& t) noexcept;
   template <class T>
-    constexpr typename remove_reference<T>::type&& move(T&&) noexcept;
+    constexpr remove_reference_t<T>&& move(T&&) noexcept;
   template <class T>
-    constexpr typename conditional<
+    constexpr conditional_t<
     !is_nothrow_move_constructible<T>::value && is_copy_constructible<T>::value,
-    const T&, T&&>::type move_if_noexcept(T& x) noexcept;
+    const T&, T&&> move_if_noexcept(T& x) noexcept;
 
   // \ref{declval}, declval:
   template <class T>
-    typename add_rvalue_reference<T>::type declval() noexcept;  // as unevaluated operand
+    add_rvalue_reference_t<T> declval() noexcept;  // as unevaluated operand
 
   // \ref{pairs}, pairs:
   template <class T1, class T2> struct pair;
@@ -295,8 +295,8 @@
 
 \indexlibrary{\idxcode{forward}}%
 \begin{itemdecl}
-template <class T> constexpr T&& forward(typename remove_reference<T>::type& t) noexcept;
-template <class T> constexpr T&& forward(typename remove_reference<T>::type&& t) noexcept;
+template <class T> constexpr T&& forward(remove_reference_t<T>& t) noexcept;
+template <class T> constexpr T&& forward(remove_reference_t<T>&& t) noexcept;
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -340,13 +340,13 @@
 
 \indexlibrary{\idxcode{move}}%
 \begin{itemdecl}
-template <class T> constexpr typename remove_reference<T>::type&& move(T&& t) noexcept;
+template <class T> constexpr remove_reference_t<T>&& move(T&& t) noexcept;
 \end{itemdecl}
 
 \begin{itemdescr}
 \pnum
 \returns
-\tcode{static_cast<typename remove_reference<T>::type\&\&>(t)}.
+\tcode{static_cast<remove_reference_t<T>\&\&>(t)}.
 
 \pnum
 \enterexample
@@ -385,9 +385,9 @@
 
 \indexlibrary{\idxcode{move_if_noexcept}}%
 \begin{itemdecl}
-template <class T> constexpr typename conditional<
+template <class T> constexpr conditional_t<
   !is_nothrow_move_constructible<T>::value && is_copy_constructible<T>::value,
-  const T&, T&&>::type move_if_noexcept(T& x) noexcept;
+  const T&, T&&> move_if_noexcept(T& x) noexcept;
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -404,7 +404,7 @@
 \indexlibrary{\idxcode{declval}}%
 \begin{itemdecl}
 template <class T>
-  typename add_rvalue_reference<T>::type declval() noexcept;  // as unevaluated operand
+  add_rvalue_reference_t<T> declval() noexcept;  // as unevaluated operand
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -867,7 +867,7 @@
 \indexlibrary{\idxcode{get}!\idxcode{pair}}%
 \begin{itemdecl}
 template<size_t I, class T1, class T2>
-  constexpr typename tuple_element<I, std::pair<T1, T2> >::type&
+  constexpr tuple_element_t<I, std::pair<T1, T2> >&
     get(pair<T1, T2>&) noexcept;
 template<size_t I, class T1, class T2>
   constexpr const typename tuple_element<I, std::pair<T1, T2> >::type&
@@ -2969,11 +2969,11 @@
 
 \indexlibrary{\idxcode{make_optional}}%
 \begin{itemdecl}
-template <class T> constexpr optional<typename decay<T>::type> make_optional(T&& v);
+template <class T> constexpr optional<decay_t<T>{>} make_optional(T&& v);
 \end{itemdecl}
 
 \begin{itemdescr}
-\pnum \returns \tcode{optional<typename decay<T>::type>(std::forward<T>(v))}.
+\pnum \returns \tcode{optional<decay_t<T>{>}(std::forward<T>(v))}.
 \end{itemdescr}
 
 \rSec2[optional.hash]{Hash support}
@@ -5463,7 +5463,7 @@
     unique_ptr& operator=(nullptr_t) noexcept;
 
     // \ref{unique.ptr.single.observers}, observers
-    typename add_lvalue_reference<T>::type operator*() const;
+    add_lvalue_reference_t<T> operator*() const;
     pointer operator->() const noexcept;
     pointer get() const noexcept;
     deleter_type& get_deleter() noexcept;
@@ -5853,7 +5853,7 @@
 \indexlibrary{\idxcode{operator*}!\idxcode{unique_ptr}}
 \indexlibrary{\idxcode{unique_ptr}!\idxcode{operator*}}
 \begin{itemdecl}
-typename add_lvalue_reference<T>::type operator*() const;
+add_lvalue_reference_t<T> operator*() const;
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -6120,7 +6120,7 @@
 \remarks This function shall not participate in overload resolution unless \tcode{T} is an array of unknown bound.
 
 \pnum
-\returns \tcode{unique_ptr<T>(new typename remove_extent<T>::type[n]())}.
+\returns \tcode{unique_ptr<T>(new remove_extent_t<T>[n]())}.
 
 \end{itemdescr}
 
@@ -8242,7 +8242,7 @@
 
     // invocation
     template <class... ArgTypes>
-    typename result_of<T&(ArgTypes&&...)>::type
+    result_of_t<T&(ArgTypes&&...)>
     operator() (ArgTypes&&...) const;
   };
 }
@@ -8365,7 +8365,7 @@
 \indexlibrary{\idxcode{operator()}!\idxcode{reference_wrapper}}%
 \begin{itemdecl}
 template <class... ArgTypes>
-  typename result_of<T&(ArgTypes&&... )>::type
+  result_of_t<T&(ArgTypes&&... )>
     operator()(ArgTypes&&... args) const;
 \end{itemdecl}
 
@@ -10570,7 +10570,7 @@
 Given the following function prototype:
 \begin{codeblock}
 template <class T>
-  typename add_rvalue_reference<T>::type create();
+  add_rvalue_reference_t<T> create();
 \end{codeblock}
 
 the predicate condition for a template specialization
@@ -10724,7 +10724,7 @@
 
 \begin{codeblock}
 template <class T>
-  typename add_rvalue_reference<T>::type create();
+  add_rvalue_reference_t<T> create();
 \end{codeblock}
 
 the predicate condition for a template specialization \tcode{is_convertible<From, To>}
@@ -10807,7 +10807,7 @@
  struct add_cv;}                    &
  The member typedef \tcode{type} shall name
  the same type as
- \tcode{add_const<typename add_volatile<T>::type>::type}.                               \\
+ \tcode{add_const_t<add_volatile_t<T>{>}}.                               \\
 \end{libreqtab2a}
 
 \rSec3[meta.trans.ref]{Reference modifications}
@@ -11093,7 +11093,7 @@
 
 template <class T, class U, class... V>
 struct common_type<T, U, V...> {
-  typedef typename common_type<typename common_type<T, U>::type, V...>::type type;
+  typedef common_type_t<common_type_t<T, U>, V...> type;
 };
 \end{codeblock}
 
@@ -11389,28 +11389,28 @@
 
 // \ref{time.duration.nonmember}, duration arithmetic
 template <class Rep1, class Period1, class Rep2, class Period2>
-  typename common_type<duration<Rep1, Period1>, duration<Rep2, Period2>>::type
+  common_type_t<duration<Rep1, Period1>, duration<Rep2, Period2>>
   constexpr operator+(const duration<Rep1, Period1>& lhs, const duration<Rep2, Period2>& rhs);
 template <class Rep1, class Period1, class Rep2, class Period2>
-  typename common_type<duration<Rep1, Period1>, duration<Rep2, Period2>>::type
+  common_type_t<duration<Rep1, Period1>, duration<Rep2, Period2>>
   constexpr operator-(const duration<Rep1, Period1>& lhs, const duration<Rep2, Period2>& rhs);
 template <class Rep1, class Period, class Rep2>
-  duration<typename common_type<Rep1, Rep2>::type, Period>
+  duration<common_type_t<Rep1, Rep2>, Period>
   constexpr operator*(const duration<Rep1, Period>& d, const Rep2& s);
 template <class Rep1, class Rep2, class Period>
-  duration<typename common_type<Rep1, Rep2>::type, Period>
+  duration<common_type_t<Rep1, Rep2>, Period>
   constexpr operator*(const Rep1& s, const duration<Rep2, Period>& d);
 template <class Rep1, class Period, class Rep2>
-  duration<typename common_type<Rep1, Rep2>::type, Period>
+  duration<common_type_t<Rep1, Rep2>, Period>
   constexpr operator/(const duration<Rep1, Period>& d, const Rep2& s);
 template <class Rep1, class Period1, class Rep2, class Period2>
-  typename common_type<Rep1, Rep2>::type
+  common_type_t<Rep1, Rep2>
   constexpr operator/(const duration<Rep1, Period1>& lhs, const duration<Rep2, Period2>& rhs);
 template <class Rep1, class Period, class Rep2>
-  duration<typename common_type<Rep1, Rep2>::type, Period>
+  duration<common_type_t<Rep1, Rep2>, Period>
   constexpr operator%(const duration<Rep1, Period>& d, const Rep2& s);
 template <class Rep1, class Period1, class Rep2, class Period2>
-  typename common_type<duration<Rep1, Period1>, duration<Rep2, Period2>>::type
+  common_type_t<duration<Rep1, Period1>, duration<Rep2, Period2>>
   constexpr operator%(const duration<Rep1, Period1>& lhs, const duration<Rep2, Period2>& rhs);
 
 // \ref{time.duration.comparisons}, duration comparisons
@@ -11447,16 +11447,16 @@
 
 // \ref{time.point.nonmember}, time_point arithmetic
 template <class Clock, class Duration1, class Rep2, class Period2>
-  constexpr time_point<Clock, typename common_type<Duration1, duration<Rep2, Period2>>::type>
+  constexpr time_point<Clock, common_type_t<Duration1, duration<Rep2, Period2>>>
   operator+(const time_point<Clock, Duration1>& lhs, const duration<Rep2, Period2>& rhs);
 template <class Rep1, class Period1, class Clock, class Duration2>
-  constexpr time_point<Clock, typename common_type<duration<Rep1, Period1>, Duration2>::type>
+  constexpr time_point<Clock, common_type_t<duration<Rep1, Period1>, Duration2>>
   operator+(const duration<Rep1, Period1>& lhs, const time_point<Clock, Duration2>& rhs);
 template <class Clock, class Duration1, class Rep2, class Period2>
-  constexpr time_point<Clock, typename common_type<Duration1, duration<Rep2, Period2>>::type>
+  constexpr time_point<Clock, common_type_t<Duration1, duration<Rep2, Period2>>>
   operator-(const time_point<Clock, Duration1>& lhs, const duration<Rep2, Period2>& rhs);
 template <class Clock, class Duration1, class Duration2>
-  constexpr typename common_type<Duration1, Duration2>::type
+  constexpr common_type_t<Duration1, Duration2>
   operator-(const time_point<Clock, Duration1>& lhs, const time_point<Clock, Duration2>& rhs);
 
 // \ref{time.point.comparisons} time_point comparisons
@@ -11693,7 +11693,7 @@
 \begin{itemdecl}
 template <class Rep1, class Period1, class Rep2, class Period2>
 struct common_type<chrono::duration<Rep1, Period1>, chrono::duration<Rep2, Period2>> {
-  typedef chrono::duration<typename common_type<Rep1, Rep2>::type, @\seebelow@> type;
+  typedef chrono::duration<common_type_t<Rep1, Rep2>, @\seebelow@> type;
 };
 \end{itemdecl}
 
@@ -11717,7 +11717,7 @@
 \begin{itemdecl}
 template <class Clock, class Duration1, class Duration2>
 struct common_type<chrono::time_point<Clock, Duration1>, chrono::time_point<Clock, Duration2>> {
-  typedef chrono::time_point<Clock, typename common_type<Duration1, Duration2>::type> type;
+  typedef chrono::time_point<Clock, common_type_t<Duration1, Duration2>> type;
 };
 \end{itemdecl}
 
@@ -12088,7 +12088,7 @@
 \indexlibrary{\idxcode{common_type}}%
 \begin{itemdecl}
 template <class Rep1, class Period1, class Rep2, class Period2>
-  constexpr typename common_type<duration<Rep1, Period1>, duration<Rep2, Period2> >::type
+  constexpr common_type_t<duration<Rep1, Period1>, duration<Rep2, Period2>>
   operator+(const duration<Rep1, Period1>& lhs, const duration<Rep2, Period2>& rhs);
 \end{itemdecl}
 
@@ -12100,7 +12100,7 @@
 \indexlibrary{\idxcode{common_type}}%
 \begin{itemdecl}
 template <class Rep1, class Period1, class Rep2, class Period2>
-  constexpr typename common_type<duration<Rep1, Period1>, duration<Rep2, Period2> >::type
+  constexpr common_type_t<duration<Rep1, Period1>, duration<Rep2, Period2>>
   operator-(const duration<Rep1, Period1>& lhs, const duration<Rep2, Period2>& rhs);
 \end{itemdecl}
 
@@ -12113,7 +12113,7 @@
 \indexlibrary{\idxcode{duration}!\idxcode{operator*}}%
 \begin{itemdecl}
 template <class Rep1, class Period, class Rep2>
-  constexpr duration<typename common_type<Rep1, Rep2>::type, Period>
+  constexpr duration<common_type_t<Rep1, Rep2>, Period>
   operator*(const duration<Rep1, Period>& d, const Rep2& s);
 \end{itemdecl}
 
@@ -12130,7 +12130,7 @@
 \indexlibrary{\idxcode{duration}!\idxcode{operator*}}%
 \begin{itemdecl}
 template <class Rep1, class Rep2, class Period>
-  constexpr duration<typename common_type<Rep1, Rep2>::type, Period>
+  constexpr duration<common_type_t<Rep1, Rep2>, Period>
   operator*(const Rep1& s, const duration<Rep2, Period>& d);
 \end{itemdecl}
 
@@ -12147,7 +12147,7 @@
 \indexlibrary{\idxcode{duration}!\idxcode{operator/}}%
 \begin{itemdecl}
 template <class Rep1, class Period, class Rep2>
-  constexpr duration<typename common_type<Rep1, Rep2>::type, Period>
+  constexpr duration<common_type_t<Rep1, Rep2>, Period>
   operator/(const duration<Rep1, Period>& d, const Rep2& s);
 \end{itemdecl}
 
@@ -12165,7 +12165,7 @@
 \indexlibrary{\idxcode{duration}!\idxcode{operator/}}%
 \begin{itemdecl}
 template <class Rep1, class Period1, class Rep2, class Period2>
-  constexpr typename common_type<Rep1, Rep2>::type
+  constexpr common_type_t<Rep1, Rep2>
   operator/(const duration<Rep1, Period1>& lhs, const duration<Rep2, Period2>& rhs);
 \end{itemdecl}
 
@@ -12178,7 +12178,7 @@
 \indexlibrary{\idxcode{duration}!\idxcode{operator\%}}%
 \begin{itemdecl}
 template <class Rep1, class Period, class Rep2>
-  constexpr duration<typename common_type<Rep1, Rep2>::type, Period>
+  constexpr duration<common_type_t<Rep1, Rep2>, Period>
   operator%(const duration<Rep1, Period>& d, const Rep2& s);
 \end{itemdecl}
 
@@ -12196,7 +12196,7 @@
 \indexlibrary{\idxcode{duration}!\idxcode{operator\%}}%
 \begin{itemdecl}
 template <class Rep1, class Period1, class Rep2, class Period2>
-  constexpr typename common_type<duration<Rep1, Period1>, duration<Rep2, Period2>>::type
+  constexpr common_type_t<duration<Rep1, Period1>, duration<Rep2, Period2>>
   operator%(const duration<Rep1, Period1>& lhs, const duration<Rep2, Period2>& rhs);
 \end{itemdecl}
 
@@ -12593,7 +12593,7 @@
 \indexlibrary{\idxcode{duration}!\idxcode{operator+}}%
 \begin{itemdecl}
 template <class Clock, class Duration1, class Rep2, class Period2>
-  constexpr time_point<Clock, typename common_type<Duration1, duration<Rep2, Period2>>::type>
+  constexpr time_point<Clock, common_type_t<Duration1, duration<Rep2, Period2>>>
   operator+(const time_point<Clock, Duration1>& lhs, const duration<Rep2, Period2>& rhs);
 \end{itemdecl}
 
@@ -12608,7 +12608,7 @@
 \indexlibrary{\idxcode{duration}!\idxcode{operator+}}%
 \begin{itemdecl}
 template <class Rep1, class Period1, class Clock, class Duration2>
-  constexpr time_point<Clock, typename common_type<duration<Rep1, Period1>, Duration2>::type>
+  constexpr time_point<Clock, common_type_t<duration<Rep1, Period1>, Duration2>>
   operator+(const duration<Rep1, Period1>& lhs, const time_point<Clock, Duration2>& rhs);
 \end{itemdecl}
 
@@ -12623,7 +12623,7 @@
 \indexlibrary{\idxcode{duration}!\idxcode{operator-}}%
 \begin{itemdecl}
 template <class Clock, class Duration1, class Rep2, class Period2>
-  constexpr time_point<Clock, typename common_type<Duration1, duration<Rep2, Period2>>::type>
+  constexpr time_point<Clock, common_type_t<Duration1, duration<Rep2, Period2>>>
   operator-(const time_point<Clock, Duration1>& lhs, const duration<Rep2, Period2>& rhs);
 \end{itemdecl}
 
@@ -12636,7 +12636,7 @@
 \indexlibrary{\idxcode{time_point}!\idxcode{operator-}}%
 \begin{itemdecl}
 template <class Clock, class Duration1, class Duration2>
-  constexpr typename common_type<Duration1, Duration2>::type
+  constexpr common_type_t<Duration1, Duration2>
   operator-(const time_point<Clock, Duration1>& lhs, const time_point<Clock, Duration2>& rhs);
 \end{itemdecl}
 

<!DOCTYPE html PUBLIC '-//W3C//DTD XHTML 1.0 Transitional//EN' 'http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd'>
<html xmlns='http://www.w3.org/1999/xhtml'>
<head>
<title>pFad - Phonifier reborn</title>
<meta http-equiv='Content-Type' content='text/html; charset=utf-8' />
</head>
<body>
<h1>Pfad - The Proxy pFad of &#169; 2024 Garber Painting. All rights reserved.</h1>


<!-- Disclaimer -->
<p>Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.</p>
<br>
<p>Alternative Proxies:</p><p><a href="http://rainy.clevelandohioweatherforecast.com/php-proxy/index.php?q=https://github.com/cplusplus/draft/compare/main...c++14-cd.patch" target="_blank">Alternative Proxy</a></p><p><a href="http://rainy.clevelandohioweatherforecast.com/pFad/index.php?u=https://github.com/cplusplus/draft/compare/main...c++14-cd.patch" target="_blank">pFad Proxy</a></p><p><a href="http://rainy.clevelandohioweatherforecast.com/pFad/v3index.php?u=https://github.com/cplusplus/draft/compare/main...c++14-cd.patch" target="_blank">pFad v3 Proxy</a></p><p><a href="http://rainy.clevelandohioweatherforecast.com/pFad/v4index.php?u=https://github.com/cplusplus/draft/compare/main...c++14-cd.patch" target="_blank">pFad v4 Proxy</a></p></body>
</html>