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

Since CWG2387, constexpr variable templates have external linkage.

Author: jensmaurer

source/concepts.tex

@@ -769,7 +769,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/containers.tex

@@ -11043,9 +11043,9 @@
     class span;
 
   template<class ElementType, size_t Extent>
-    inline constexpr bool ranges::enable_view<span<ElementType, Extent>> = true;
+    constexpr bool ranges::enable_view<span<ElementType, Extent>> = true;
   template<class ElementType, size_t Extent>
-    inline constexpr bool ranges::enable_borrowed_range<span<ElementType, Extent>> = true;
+    constexpr bool ranges::enable_borrowed_range<span<ElementType, Extent>> = true;
 
   // \ref{span.objectrep}, views of object representation
   template<class ElementType, size_t Extent>

source/diagnostics.tex

@@ -812,9 +812,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;
 }
 \end{codeblock}
 

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;
+    constexpr bool disable_sized_sentinel_for = false;
 
   template<class S, class I>
     concept sized_sentinel_for = @\seebelow@;
@@ -316,8 +316,8 @@
 
   template<class Iterator1, class Iterator2>
       requires (!@\libconcept{sized_sentinel_for}@<Iterator1, Iterator2>)
-    inline constexpr bool disable_sized_sentinel_for<reverse_iterator<Iterator1>,
-                                                     reverse_iterator<Iterator2>> = true;
+    constexpr bool disable_sized_sentinel_for<reverse_iterator<Iterator1>,
+                                              reverse_iterator<Iterator2>> = true;
 
   // \ref{insert.iterators}, insert iterators
   template<class Container> class back_insert_iterator;
@@ -1315,10 +1315,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}@ =
@@ -1657,7 +1657,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

@@ -10950,33 +10950,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

@@ -54,7 +54,7 @@
     concept range = @\seebelow@;
 
   template<class T>
-    inline constexpr bool enable_borrowed_range = false;
+    constexpr bool enable_borrowed_range = false;
 
   template<class T>
     concept borrowed_range = @\seebelow@;
@@ -76,14 +76,14 @@
 
   // \ref{range.sized}, sized ranges
   template<class>
-    inline constexpr bool disable_sized_range = false;
+    constexpr bool disable_sized_range = false;
 
   template<class T>
     concept sized_range = @\seebelow@;
 
   // \ref{range.view}, views
   template<class T>
-    inline constexpr bool enable_view = @\seebelow@;
+    constexpr bool enable_view = @\seebelow@;
 
   struct view_base {};
 
@@ -128,7 +128,7 @@
   class subrange;
 
   template<class I, class S, subrange_kind K>
-    inline constexpr bool enable_borrowed_range<subrange<I, S, K>> = true;
+    constexpr bool enable_borrowed_range<subrange<I, S, K>> = true;
 
   // \ref{range.dangling}, dangling iterator handling
   struct dangling;
@@ -145,11 +145,11 @@
   class empty_view;
 
   template<class T>
-    inline constexpr bool enable_borrowed_range<empty_view<T>> = true;
+    constexpr bool enable_borrowed_range<empty_view<T>> = true;
 
   namespace views {
     template<class T>
-      inline constexpr empty_view<T> @\libmember{empty}{views}@{};
+      constexpr empty_view<T> @\libmember{empty}{views}@{};
   }
 
   // \ref{range.single}, single view
@@ -168,7 +168,7 @@
   class iota_view;
 
   template<class W, class Bound>
-    inline constexpr bool enable_borrowed_range<iota_view<W, Bound>> = true;
+    constexpr bool enable_borrowed_range<iota_view<W, Bound>> = true;
 
   namespace views { inline constexpr @\unspec@ iota = @\unspec@; }
 
@@ -196,7 +196,7 @@
   class ref_view;
 
   template<class T>
-    inline constexpr bool enable_borrowed_range<ref_view<T>> = true;
+    constexpr bool enable_borrowed_range<ref_view<T>> = true;
 
   // \ref{range.owning.view}, owning view
   template<range R>
@@ -226,7 +226,7 @@
   template<@\libconcept{view}@> class take_view;
 
   template<class T>
-    inline constexpr bool enable_borrowed_range<take_view<T>> = enable_borrowed_range<T>;
+    constexpr bool enable_borrowed_range<take_view<T>> = enable_borrowed_range<T>;
 
   namespace views { inline constexpr @\unspec@ take = @\unspec@; }
 
@@ -243,7 +243,7 @@
     class drop_view;
 
   template<class T>
-    inline constexpr bool enable_borrowed_range<drop_view<T>> = enable_borrowed_range<T>;
+    constexpr bool enable_borrowed_range<drop_view<T>> = enable_borrowed_range<T>;
 
   namespace views { inline constexpr @\unspec@ drop = @\unspec@; }
 
@@ -254,8 +254,7 @@
     class drop_while_view;
 
   template<class T, class Pred>
-    inline constexpr bool enable_borrowed_range<drop_while_view<T, Pred>> =
-      enable_borrowed_range<T>;
+    constexpr bool enable_borrowed_range<drop_while_view<T, Pred>> = enable_borrowed_range<T>;
 
   namespace views { inline constexpr @\unspec@ drop_while = @\unspec@; }
 
@@ -296,7 +295,7 @@
   class common_view;
 
   template<class T>
-    inline constexpr bool enable_borrowed_range<common_view<T>> = enable_borrowed_range<T>;
+    constexpr bool enable_borrowed_range<common_view<T>> = enable_borrowed_range<T>;
 
   namespace views { inline constexpr @\unspec@ common = @\unspec@; }
 
@@ -306,7 +305,7 @@
   class reverse_view;
 
   template<class T>
-    inline constexpr bool enable_borrowed_range<reverse_view<T>> = enable_borrowed_range<T>;
+    constexpr bool enable_borrowed_range<reverse_view<T>> = enable_borrowed_range<T>;
 
   namespace views { inline constexpr @\unspec@ reverse = @\unspec@; }
 
@@ -316,7 +315,7 @@
   class elements_view;
 
   template<class T, size_t N>
-    inline constexpr bool enable_borrowed_range<elements_view<T, N>> = enable_borrowed_range<T>;
+    constexpr bool enable_borrowed_range<elements_view<T, N>> = enable_borrowed_range<T>;
 
   template<class R>
     using @\libglobal{keys_view}@ = elements_view<R, 0>;
@@ -325,7 +324,7 @@
 
   namespace views {
     template<size_t N>
-      inline constexpr @\unspec@ elements = @\unspec@;
+      constexpr @\unspec@ elements = @\unspec@;
     inline constexpr auto @\libmember{keys}{views}@ = elements<0>;
     inline constexpr auto @\libmember{values}{views}@ = elements<1>;
   }
@@ -1143,7 +1142,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}
@@ -1210,7 +1209,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}
@@ -1302,9 +1301,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

@@ -4057,9 +4057,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>