[ranges.syn] Index specializations of enable_borrowed_range

Author: JohelEGP

source/ranges.tex

@@ -140,7 +140,7 @@
   class subrange;                                                                   // freestanding
 
   template<class I, class S, subrange_kind K>
-    constexpr bool enable_borrowed_range<subrange<I, S, K>> = true;                 // freestanding
+    constexpr bool @\libspec{enable_borrowed_range}{subrange}@<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)
@@ -185,7 +185,7 @@
   class empty_view;                                                                 // freestanding
 
   template<class T>
-    constexpr bool enable_borrowed_range<empty_view<T>> = true;                     // freestanding
+    constexpr bool @\libspec{enable_borrowed_range}{empty_view}@<empty_view<T>> = true;                     // freestanding
 
   namespace views {
     template<class T>
@@ -208,7 +208,7 @@
   class iota_view;                                                                  // freestanding
 
   template<class W, class Bound>
-    constexpr bool enable_borrowed_range<iota_view<W, Bound>> = true;               // freestanding
+    constexpr bool @\libspec{enable_borrowed_range}{iota_view}@<iota_view<W, Bound>> = true;               // freestanding
 
   namespace views { inline constexpr @\unspecnc@ iota = @\unspecnc@; }              // freestanding
 
@@ -249,15 +249,15 @@
   class ref_view;                                                                   // freestanding
 
   template<class T>
-    constexpr bool enable_borrowed_range<ref_view<T>> = true;                       // freestanding
+    constexpr bool @\libspec{enable_borrowed_range}{ref_view}@<ref_view<T>> = true;                       // freestanding
 
   // \ref{range.owning.view}, owning view
   template<@\libconcept{range}@ R>
     requires @\seebelow@
   class owning_view;                                                                // freestanding
 
   template<class T>
-    constexpr bool enable_borrowed_range<owning_view<T>> =                          // freestanding
+    constexpr bool @\libspec{enable_borrowed_range}{owning_view}@<owning_view<T>> =                          // freestanding
       enable_borrowed_range<T>;
 
   // \ref{range.as.rvalue}, as rvalue view
@@ -266,7 +266,7 @@
   class as_rvalue_view;                                                             // freestanding
 
   template<class T>
-    constexpr bool enable_borrowed_range<as_rvalue_view<T>> =                       // freestanding
+    constexpr bool @\libspec{enable_borrowed_range}{as_rvalue_view}@<as_rvalue_view<T>> =                       // freestanding
       enable_borrowed_range<T>;
 
   namespace views { inline constexpr @\unspecnc@ as_rvalue = @\unspecnc@; }         // freestanding
@@ -291,7 +291,7 @@
   template<@\libconcept{view}@> class take_view;                                                   // freestanding
 
   template<class T>
-    constexpr bool enable_borrowed_range<take_view<T>> =                            // freestanding
+    constexpr bool @\libspec{enable_borrowed_range}{take_view}@<take_view<T>> =                            // freestanding
       enable_borrowed_range<T>;
 
   namespace views { inline constexpr @\unspecnc@ take = @\unspecnc@; }              // freestanding
@@ -309,7 +309,7 @@
     class drop_view;                                                                // freestanding
 
   template<class T>
-    constexpr bool enable_borrowed_range<drop_view<T>> =                            // freestanding
+    constexpr bool @\libspec{enable_borrowed_range}{drop_view}@<drop_view<T>> =                            // freestanding
       enable_borrowed_range<T>;
 
   namespace views { inline constexpr @\unspecnc@ drop = @\unspecnc@; }              // freestanding
@@ -321,7 +321,7 @@
     class drop_while_view;                                                          // freestanding
 
   template<class T, class Pred>
-    constexpr bool enable_borrowed_range<drop_while_view<T, Pred>> =                // freestanding
+    constexpr bool @\libspec{enable_borrowed_range}{drop_while_view}@<drop_while_view<T, Pred>> =                // freestanding
       enable_borrowed_range<T>;
 
   namespace views { inline constexpr @\unspecnc@ drop_while = @\unspecnc@; }        // freestanding
@@ -375,7 +375,7 @@
   class common_view;                                                                // freestanding
 
   template<class T>
-    constexpr bool enable_borrowed_range<common_view<T>> =                          // freestanding
+    constexpr bool @\libspec{enable_borrowed_range}{common_view}@<common_view<T>> =                          // freestanding
       enable_borrowed_range<T>;
 
   namespace views { inline constexpr @\unspecnc@ common = @\unspecnc@; }            // freestanding
@@ -386,7 +386,7 @@
   class reverse_view;                                                               // freestanding
 
   template<class T>
-    constexpr bool enable_borrowed_range<reverse_view<T>> =                         // freestanding
+    constexpr bool @\libspec{enable_borrowed_range}{reverse_view}@<reverse_view<T>> =                         // freestanding
       enable_borrowed_range<T>;
 
   namespace views { inline constexpr @\unspecnc@ reverse = @\unspecnc@; }           // freestanding
@@ -406,7 +406,7 @@
   class as_const_view;                                                              // freestanding
 
   template<class T>
-    constexpr bool enable_borrowed_range<as_const_view<T>> =                        // freestanding
+    constexpr bool @\libspec{enable_borrowed_range}{as_const_view}@<as_const_view<T>> =                        // freestanding
       enable_borrowed_range<T>;
 
   namespace views { inline constexpr @\unspecnc@ as_const = @\unspecnc@; }          // freestanding
@@ -417,7 +417,7 @@
   class elements_view;                                                              // freestanding
 
   template<class T, size_t N>
-    constexpr bool enable_borrowed_range<elements_view<T, N>> =                     // freestanding
+    constexpr bool @\libspec{enable_borrowed_range}{elements_view}@<elements_view<T, N>> =                     // freestanding
       enable_borrowed_range<T>;
 
   template<class R>
@@ -438,7 +438,7 @@
   class enumerate_view;                                                             // freestanding
 
   template<class View>
-    constexpr bool enable_borrowed_range<enumerate_view<View>> =                    // freestanding
+    constexpr bool @\libspec{enable_borrowed_range}{enumerate_view}@<enumerate_view<View>> =                    // freestanding
       enable_borrowed_range<View>;
 
   namespace views { inline constexpr @\unspecnc@ enumerate = @\unspecnc@; }         // freestanding
@@ -449,7 +449,7 @@
   class zip_view;                                                                   // freestanding
 
   template<class... Views>
-    constexpr bool enable_borrowed_range<zip_view<Views...>> =                      // freestanding
+    constexpr bool @\libspec{enable_borrowed_range}{zip_view}@<zip_view<Views...>> =                      // freestanding
       (enable_borrowed_range<Views> && ...);
 
   namespace views { inline constexpr @\unspecnc@ zip = @\unspecnc@; }               // freestanding
@@ -469,7 +469,7 @@
   class adjacent_view;                                                              // freestanding
 
   template<class V, size_t N>
-    constexpr bool enable_borrowed_range<adjacent_view<V, N>> =                     // freestanding
+    constexpr bool @\libspec{enable_borrowed_range}{adjacent_view}@<adjacent_view<V, N>> =                     // freestanding
       enable_borrowed_range<V>;
 
   namespace views {
@@ -499,7 +499,7 @@
   class chunk_view<V>;                                                              // freestanding
 
   template<class V>
-    constexpr bool enable_borrowed_range<chunk_view<V>> =                           // freestanding
+    constexpr bool @\libspec{enable_borrowed_range}{chunk_view}@<chunk_view<V>> =                           // freestanding
       @\libconcept{forward_range}@<V> && enable_borrowed_range<V>;
 
   namespace views { inline constexpr @\unspecnc@ chunk = @\unspecnc@; }             // freestanding
@@ -510,8 +510,8 @@
   class slide_view;                                                                 // freestanding
 
   template<class V>
-    constexpr bool enable_borrowed_range<slide_view<V>> =
-      enable_borrowed_range<V>;                                                     // freestanding
+    constexpr bool @\libspec{enable_borrowed_range}{slide_view}@<slide_view<V>> =                           // freestanding
+      enable_borrowed_range<V>;
 
   namespace views { inline constexpr @\unspecnc@ slide = @\unspecnc@; }             // freestanding
 
@@ -528,7 +528,7 @@
   class stride_view;                                                                // freestanding
 
   template<class V>
-    constexpr bool enable_borrowed_range<stride_view<V>> =                          // freestanding
+    constexpr bool @\libspec{enable_borrowed_range}{stride_view}@<stride_view<V>> =                          // freestanding
       enable_borrowed_range<V>;
 
   namespace views { inline constexpr @\unspecnc@ stride = @\unspecnc@; }            // freestanding