[lib] Drop 'inline' from 'inline constexpr' variable templates.

Since CWG2387, constexpr variable templates have external linkage.

Author: jensmaurer

source/concepts.tex

@@ -775,7 +775,7 @@
 
 \begin{itemdecl}
 template<class T>
-  inline constexpr bool @\exposid{is-default-initializable}@ = @\seebelow@;  // \expos
+  constexpr bool @\exposid{is-default-initializable}@ = @\seebelow@;  // \expos
 
 template<class T>
   concept @\deflibconcept{default_initializable}@ = @\libconcept{constructible_from}@<T> &&

source/diagnostics.tex

@@ -816,9 +816,9 @@
 
   // \ref{syserr}, system error support
   template<class T>
-    inline constexpr bool is_error_code_enum_v = is_error_code_enum<T>::value;
+    constexpr bool is_error_code_enum_v = is_error_code_enum<T>::value;
   template<class T>
-    inline constexpr bool is_error_condition_enum_v = is_error_condition_enum<T>::value;
+    constexpr bool is_error_condition_enum_v = is_error_condition_enum<T>::value;
 }
 \end{codeblock}
 

source/future.tex

@@ -1368,7 +1368,7 @@
 \begin{codeblock}
 namespace std {
   template<class T> struct is_pod;
-  template<class T> inline constexpr bool is_pod_v = is_pod<T>::value;
+  template<class T> constexpr bool is_pod_v = is_pod<T>::value;
   template<size_t Len, size_t Align = @\exposid{default-alignment}@> // \seebelow
     struct aligned_storage;
   template<size_t Len, size_t Align = @\exposid{default-alignment}@> // \seebelow

source/iterators.tex

@@ -110,7 +110,7 @@
 
   // \ref{iterator.concept.sizedsentinel}, concept \libconcept{sized_sentinel_for}
   template<class S, class I>
-    inline constexpr bool disable_sized_sentinel_for = false;                       // freestanding
+    constexpr bool disable_sized_sentinel_for = false;                              // freestanding
 
   template<class S, class I>
     concept sized_sentinel_for = @\seebelow@;                                         // freestanding
@@ -317,7 +317,7 @@
 
   template<class Iterator1, class Iterator2>
       requires (!@\libconcept{sized_sentinel_for}@<Iterator1, Iterator2>)
-    inline constexpr bool disable_sized_sentinel_for<reverse_iterator<Iterator1>,   // freestanding
+    constexpr bool disable_sized_sentinel_for<reverse_iterator<Iterator1>,          // freestanding
                                                      reverse_iterator<Iterator2>> = true;
 
   // \ref{insert.iterators}, insert iterators
@@ -1366,10 +1366,10 @@
 
 \begin{codeblock}
 template<class T>
-  inline constexpr bool @\exposid{is-integer-like}@ = @\seebelow@; @\itcorr[-2]@           // \expos
+  constexpr bool @\exposid{is-integer-like}@ = @\seebelow@; @\itcorr[-2]@           // \expos
 
 template<class T>
-  inline constexpr bool @\exposid{is-signed-integer-like}@ = @\seebelow@; @\itcorr[-2]@    // \expos
+  constexpr bool @\exposid{is-signed-integer-like}@ = @\seebelow@; @\itcorr[-2]@    // \expos
 
 template<class I>
   concept @\deflibconcept{weakly_incrementable}@ =
@@ -1700,7 +1700,7 @@
 \indexlibraryglobal{disable_sized_sentinel_for}%
 \begin{itemdecl}
 template<class S, class I>
-  inline constexpr bool disable_sized_sentinel_for = false;
+  constexpr bool disable_sized_sentinel_for = false;
 \end{itemdecl}
 
 \begin{itemdescr}

source/numerics.tex

@@ -10301,33 +10301,33 @@
 \indexheader{numbers}%
 \begin{codeblock}
 namespace std::numbers {
-  template<class T> inline constexpr T e_v          = @\unspec@;
-  template<class T> inline constexpr T log2e_v      = @\unspec@;
-  template<class T> inline constexpr T log10e_v     = @\unspec@;
-  template<class T> inline constexpr T pi_v         = @\unspec@;
-  template<class T> inline constexpr T inv_pi_v     = @\unspec@;
-  template<class T> inline constexpr T inv_sqrtpi_v = @\unspec@;
-  template<class T> inline constexpr T ln2_v        = @\unspec@;
-  template<class T> inline constexpr T ln10_v       = @\unspec@;
-  template<class T> inline constexpr T sqrt2_v      = @\unspec@;
-  template<class T> inline constexpr T sqrt3_v      = @\unspec@;
-  template<class T> inline constexpr T inv_sqrt3_v  = @\unspec@;
-  template<class T> inline constexpr T egamma_v     = @\unspec@;
-  template<class T> inline constexpr T phi_v        = @\unspec@;
-
-  template<@\libconcept{floating_point}@ T> inline constexpr T e_v<T>          = @\seebelow@;
-  template<@\libconcept{floating_point}@ T> inline constexpr T log2e_v<T>      = @\seebelow@;
-  template<@\libconcept{floating_point}@ T> inline constexpr T log10e_v<T>     = @\seebelow@;
-  template<@\libconcept{floating_point}@ T> inline constexpr T pi_v<T>         = @\seebelow@;
-  template<@\libconcept{floating_point}@ T> inline constexpr T inv_pi_v<T>     = @\seebelow@;
-  template<@\libconcept{floating_point}@ T> inline constexpr T inv_sqrtpi_v<T> = @\seebelow@;
-  template<@\libconcept{floating_point}@ T> inline constexpr T ln2_v<T>        = @\seebelow@;
-  template<@\libconcept{floating_point}@ T> inline constexpr T ln10_v<T>       = @\seebelow@;
-  template<@\libconcept{floating_point}@ T> inline constexpr T sqrt2_v<T>      = @\seebelow@;
-  template<@\libconcept{floating_point}@ T> inline constexpr T sqrt3_v<T>      = @\seebelow@;
-  template<@\libconcept{floating_point}@ T> inline constexpr T inv_sqrt3_v<T>  = @\seebelow@;
-  template<@\libconcept{floating_point}@ T> inline constexpr T egamma_v<T>     = @\seebelow@;
-  template<@\libconcept{floating_point}@ T> inline constexpr T phi_v<T>        = @\seebelow@;
+  template<class T> constexpr T e_v          = @\unspec@;
+  template<class T> constexpr T log2e_v      = @\unspec@;
+  template<class T> constexpr T log10e_v     = @\unspec@;
+  template<class T> constexpr T pi_v         = @\unspec@;
+  template<class T> constexpr T inv_pi_v     = @\unspec@;
+  template<class T> constexpr T inv_sqrtpi_v = @\unspec@;
+  template<class T> constexpr T ln2_v        = @\unspec@;
+  template<class T> constexpr T ln10_v       = @\unspec@;
+  template<class T> constexpr T sqrt2_v      = @\unspec@;
+  template<class T> constexpr T sqrt3_v      = @\unspec@;
+  template<class T> constexpr T inv_sqrt3_v  = @\unspec@;
+  template<class T> constexpr T egamma_v     = @\unspec@;
+  template<class T> constexpr T phi_v        = @\unspec@;
+
+  template<@\libconcept{floating_point}@ T> constexpr T e_v<T>          = @\seebelow@;
+  template<@\libconcept{floating_point}@ T> constexpr T log2e_v<T>      = @\seebelow@;
+  template<@\libconcept{floating_point}@ T> constexpr T log10e_v<T>     = @\seebelow@;
+  template<@\libconcept{floating_point}@ T> constexpr T pi_v<T>         = @\seebelow@;
+  template<@\libconcept{floating_point}@ T> constexpr T inv_pi_v<T>     = @\seebelow@;
+  template<@\libconcept{floating_point}@ T> constexpr T inv_sqrtpi_v<T> = @\seebelow@;
+  template<@\libconcept{floating_point}@ T> constexpr T ln2_v<T>        = @\seebelow@;
+  template<@\libconcept{floating_point}@ T> constexpr T ln10_v<T>       = @\seebelow@;
+  template<@\libconcept{floating_point}@ T> constexpr T sqrt2_v<T>      = @\seebelow@;
+  template<@\libconcept{floating_point}@ T> constexpr T sqrt3_v<T>      = @\seebelow@;
+  template<@\libconcept{floating_point}@ T> constexpr T inv_sqrt3_v<T>  = @\seebelow@;
+  template<@\libconcept{floating_point}@ T> constexpr T egamma_v<T>     = @\seebelow@;
+  template<@\libconcept{floating_point}@ T> constexpr T phi_v<T>        = @\seebelow@;
 
   inline constexpr double e          = e_v<double>;
   inline constexpr double log2e      = log2e_v<double>;

source/ranges.tex

@@ -55,7 +55,7 @@
     concept range = @\seebelow@;                                                      // freestanding
 
   template<class T>
-    inline constexpr bool enable_borrowed_range = false;                            // freestanding
+    constexpr bool enable_borrowed_range = false;                                   // freestanding
 
   template<class T>
     concept borrowed_range = @\seebelow@;                                             // freestanding
@@ -83,14 +83,14 @@
 
   // \ref{range.sized}, sized ranges
   template<class>
-    inline constexpr bool disable_sized_range = false;                              // freestanding
+    constexpr bool disable_sized_range = false;                                     // freestanding
 
   template<class T>
     concept sized_range = @\seebelow@;                                                // freestanding
 
   // \ref{range.view}, views
   template<class T>
-    inline constexpr bool enable_view = @\seebelow@;                                  // freestanding
+    constexpr bool enable_view = @\seebelow@;                                         // freestanding
 
   struct view_base {};                                                              // freestanding
 
@@ -138,7 +138,7 @@
   class subrange;                                                                   // freestanding
 
   template<class I, class S, subrange_kind K>
-    inline constexpr bool enable_borrowed_range<subrange<I, S, K>> = true;          // freestanding
+    constexpr bool enable_borrowed_range<subrange<I, S, K>> = true;                 // freestanding
 
   template<size_t N, class I, class S, subrange_kind K>
     requires ((N == 0 && @\libconcept{copyable}@<I>) || N == 1)
@@ -187,7 +187,7 @@
 
   namespace views {
     template<class T>
-      inline constexpr empty_view<T> @\libmember{empty}{views}@{};                                       // freestanding
+      constexpr empty_view<T> @\libmember{empty}{views}@{};                                              // freestanding
   }
 
   // \ref{range.single}, single view
@@ -206,7 +206,7 @@
   class iota_view;                                                                  // freestanding
 
   template<class W, class Bound>
-    inline constexpr bool enable_borrowed_range<iota_view<W, Bound>> = true;        // freestanding
+    constexpr bool enable_borrowed_range<iota_view<W, Bound>> = true;               // freestanding
 
   namespace views { inline constexpr @\unspecnc@ iota = @\unspecnc@; }              // freestanding
 
@@ -248,7 +248,7 @@
   class ref_view;                                                                   // freestanding
 
   template<class T>
-    inline constexpr bool enable_borrowed_range<ref_view<T>> = true;                // freestanding
+    constexpr bool enable_borrowed_range<ref_view<T>> = true;                       // freestanding
 
   // \ref{range.owning.view}, owning view
   template<@\libconcept{range}@ R>
@@ -290,7 +290,7 @@
   template<@\libconcept{view}@> class take_view;                                                   // freestanding
 
   template<class T>
-    inline constexpr bool enable_borrowed_range<take_view<T>> =                     // freestanding
+    constexpr bool enable_borrowed_range<take_view<T>> =                            // freestanding
       enable_borrowed_range<T>;
 
   namespace views { inline constexpr @\unspecnc@ take = @\unspecnc@; }              // freestanding
@@ -308,7 +308,7 @@
     class drop_view;                                                                // freestanding
 
   template<class T>
-    inline constexpr bool enable_borrowed_range<drop_view<T>> =                     // freestanding
+    constexpr bool enable_borrowed_range<drop_view<T>> =                            // freestanding
       enable_borrowed_range<T>;
 
   namespace views { inline constexpr @\unspecnc@ drop = @\unspecnc@; }              // freestanding
@@ -320,7 +320,7 @@
     class drop_while_view;                                                          // freestanding
 
   template<class T, class Pred>
-    inline constexpr bool enable_borrowed_range<drop_while_view<T, Pred>> =         // freestanding
+    constexpr bool enable_borrowed_range<drop_while_view<T, Pred>> =                // freestanding
       enable_borrowed_range<T>;
 
   namespace views { inline constexpr @\unspecnc@ drop_while = @\unspecnc@; }        // freestanding
@@ -374,7 +374,7 @@
   class common_view;                                                                // freestanding
 
   template<class T>
-    inline constexpr bool enable_borrowed_range<common_view<T>> =                   // freestanding
+    constexpr bool enable_borrowed_range<common_view<T>> =                          // freestanding
       enable_borrowed_range<T>;
 
   namespace views { inline constexpr @\unspecnc@ common = @\unspecnc@; }            // freestanding
@@ -405,7 +405,7 @@
   class as_const_view;                                                              // freestanding
 
   template<class T>
-    inline constexpr bool enable_borrowed_range<as_const_view<T>> =                 // freestanding
+    constexpr bool enable_borrowed_range<as_const_view<T>> =                        // freestanding
       enable_borrowed_range<T>;
 
   namespace views { inline constexpr @\unspecnc@ as_const = @\unspecnc@; }          // freestanding
@@ -416,7 +416,7 @@
   class elements_view;                                                              // freestanding
 
   template<class T, size_t N>
-    inline constexpr bool enable_borrowed_range<elements_view<T, N>> =              // freestanding
+    constexpr bool enable_borrowed_range<elements_view<T, N>> =                     // freestanding
       enable_borrowed_range<T>;
 
   template<class R>
@@ -426,7 +426,7 @@
 
   namespace views {
     template<size_t N>
-      inline constexpr @\unspecnc@ elements = @\unspecnc@;                          // freestanding
+      constexpr @\unspecnc@ elements = @\unspecnc@;                                 // freestanding
     inline constexpr auto @\libmember{keys}{views}@ = elements<0>;                                       // freestanding
     inline constexpr auto @\libmember{values}{views}@ = elements<1>;                                     // freestanding
   }
@@ -1319,7 +1319,7 @@
 \indexlibraryglobal{enable_borrowed_range}%
 \begin{itemdecl}
 template<class>
-  inline constexpr bool enable_borrowed_range = false;
+  constexpr bool enable_borrowed_range = false;
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -1386,7 +1386,7 @@
 \indexlibraryglobal{disable_sized_range}%
 \begin{itemdecl}
 template<class>
-  inline constexpr bool disable_sized_range = false;
+  constexpr bool disable_sized_range = false;
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -1478,9 +1478,9 @@
 \indexlibraryglobal{enable_view}%
 \begin{itemdecl}
 template<class T>
-  inline constexpr bool @\exposidnc{is-derived-from-view-interface}@ = @\seebelownc@;     // \expos
+  constexpr bool @\exposidnc{is-derived-from-view-interface}@ = @\seebelownc@;     // \expos
 template<class T>
-  inline constexpr bool enable_view =
+  constexpr bool enable_view =
     @\libconcept{derived_from}@<T, view_base> || @\exposid{is-derived-from-view-interface}@<T>;
 \end{itemdecl}
 

source/strings.tex

@@ -541,9 +541,9 @@
   class basic_string_view;
 
   template<class charT, class traits>
-    inline constexpr bool ranges::enable_view<basic_string_view<charT, traits>> = true;
+    constexpr bool ranges::enable_view<basic_string_view<charT, traits>> = true;
   template<class charT, class traits>
-    inline constexpr bool ranges::enable_borrowed_range<basic_string_view<charT, traits>> = true;
+    constexpr bool ranges::enable_borrowed_range<basic_string_view<charT, traits>> = true;
 
   // \ref{string.view.comparison}, non-member comparison functions
   template<class charT, class traits>

source/time.tex

@@ -88,12 +88,12 @@
   // \ref{time.traits}, customization traits
   template<class Rep> struct treat_as_floating_point;
   template<class Rep>
-    inline constexpr bool treat_as_floating_point_v = treat_as_floating_point<Rep>::value;
+    constexpr bool treat_as_floating_point_v = treat_as_floating_point<Rep>::value;
 
   template<class Rep> struct duration_values;
 
   template<class T> struct is_clock;
-  template<class T> inline constexpr bool is_clock_v = is_clock<T>::value;
+  template<class T> constexpr bool is_clock_v = is_clock<T>::value;
 
   // \ref{time.duration.nonmember}, \tcode{duration} arithmetic
   template<class Rep1, class Period1, class Rep2, class Period2>

source/utilities.tex

@@ -207,13 +207,13 @@
     struct in_place_type_t {
       explicit in_place_type_t() = default;
     };
-  template<class T> inline constexpr in_place_type_t<T> in_place_type{};
+  template<class T> constexpr in_place_type_t<T> in_place_type{};
 
   template<size_t I>
     struct in_place_index_t {
       explicit in_place_index_t() = default;
     };
-  template<size_t I> inline constexpr in_place_index_t<I> in_place_index{};
+  template<size_t I> constexpr in_place_index_t<I> in_place_index{};
 }
 \end{codeblock}
 
@@ -1584,7 +1584,7 @@
 
   // \ref{tuple.helper}, tuple helper classes
   template<class T>
-    inline constexpr size_t @\libglobal{tuple_size_v}@ = tuple_size<T>::value;
+    constexpr size_t @\libglobal{tuple_size_v}@ = tuple_size<T>::value;
 }
 \end{codeblock}
 
@@ -4857,7 +4857,7 @@
   template<class T> struct variant_size;                        // \notdef
   template<class T> struct variant_size<const T>;
   template<class T>
-    inline constexpr size_t @\libglobal{variant_size_v}@ = variant_size<T>::value;
+    constexpr size_t @\libglobal{variant_size_v}@ = variant_size<T>::value;
 
   template<class... Types>
     struct variant_size<variant<Types...>>;