[ranges] Replace "using Base" declarations as requested in LWG3448

This replaces occurrences of "using Base = conditional_t<Const, const V, V>;"
with "using Base = maybe-const<Const, V>;"

Author: burblebee

source/ranges.tex

@@ -3756,7 +3756,7 @@
     using @\exposid{Parent}@ =                              // \expos
       conditional_t<Const, const transform_view, transform_view>;
     using @\exposid{Base}@   =                              // \expos
-      conditional_t<Const, const V, V>;
+      @\exposid{maybe-const}@<Const, V>;
     iterator_t<@\exposid{Base}@> @\exposid{current_}@ =                 // \expos
       iterator_t<@\exposid{Base}@>();
     @\exposid{Parent}@* @\exposid{parent_}@ = nullptr;                  // \expos
@@ -4161,7 +4161,7 @@
   private:
     using @\exposid{Parent}@ =                                      // \expos
       conditional_t<Const, const transform_view, transform_view>;
-    using @\exposid{Base}@ = conditional_t<Const, const V, V>;      // \expos
+    using @\exposid{Base}@ = @\exposid{maybe-const}@<Const, V>;                 // \expos
     sentinel_t<@\exposid{Base}@> @\exposid{end_}@ = sentinel_t<@\exposid{Base}@>();         // \expos
   public:
     @\exposid{sentinel}@() = default;
@@ -4422,7 +4422,7 @@
   template<bool Const>
   class take_view<V>::@\exposid{sentinel}@ {
   private:
-    using @\exposid{Base}@ = conditional_t<Const, const V, V>;      // \expos
+    using @\exposid{Base}@ = @\exposid{maybe-const}@<Const, V>;                 // \expos
     using @\exposid{CI}@ = counted_iterator<iterator_t<@\exposid{Base}@>>;      // \expos
     sentinel_t<@\exposid{Base}@> @\exposid{end_}@ = sentinel_t<@\exposid{Base}@>();         // \expos
   public:
@@ -4598,7 +4598,7 @@
              @\libconcept{indirect_unary_predicate}@<const Pred, iterator_t<V>>
   template<bool Const>
   class take_while_view<V, Pred>::@\exposid{sentinel}@ {            // \expos
-    using @\exposid{Base}@ = conditional_t<Const, const V, V>;      // \expos
+    using @\exposid{Base}@ = @\exposid{maybe-const}@<Const, V>;                 // \expos
 
     sentinel_t<@\exposid{Base}@> @\exposid{end_}@ = sentinel_t<@\exposid{Base}@>();         // \expos
     const Pred* @\exposid{pred_}@ = nullptr;                        // \expos
@@ -5037,7 +5037,7 @@
   private:
     using @\exposid{Parent}@ =                                              // \expos
       conditional_t<Const, const join_view, join_view>;
-    using @\exposid{Base}@   = conditional_t<Const, const V, V>;            // \expos
+    using @\exposid{Base}@   = @\exposid{maybe-const}@<Const, V>;                       // \expos
 
     static constexpr bool @\exposid{ref-is-glvalue}@ =                      // \expos
       is_reference_v<range_reference_t<@\exposid{Base}@>>;
@@ -5349,7 +5349,7 @@
   private:
     using @\exposid{Parent}@ =                                      // \expos
       conditional_t<Const, const join_view, join_view>;
-    using @\exposid{Base}@   = conditional_t<Const, const V, V>;    // \expos
+    using @\exposid{Base}@   = @\exposid{maybe-const}@<Const, V>;               // \expos
     sentinel_t<@\exposid{Base}@> @\exposid{end_}@ = sentinel_t<@\exposid{Base}@>();         // \expos
   public:
     @\exposid{sentinel}@() = default;
@@ -5549,7 +5549,7 @@
     using @\exposid{Parent}@ =                          // \expos
       conditional_t<Const, const split_view, split_view>;
     using @\exposid{Base}@   =                          // \expos
-      conditional_t<Const, const V, V>;
+      @\exposid{maybe-const}@<Const, V>;
     @\exposid{Parent}@* @\exposid{parent_}@ = nullptr;              // \expos
     iterator_t<@\exposid{Base}@> @\exposid{current_}@ =             // \expos, present only if \tcode{V} models \libconcept{forward_range}
       iterator_t<@\exposid{Base}@>();
@@ -5775,7 +5775,7 @@
   template<bool Const>
   struct split_view<V, Pattern>::@\exposid{inner-iterator}@ {
   private:
-    using @\exposid{Base}@ = conditional_t<Const, const V, V>;      // \expos
+    using @\exposid{Base}@ = @\exposid{maybe-const}@<Const, V>;                 // \expos
     @\exposid{outer-iterator}@<Const> @\exposid{i_}@ = @\exposid{outer-iterator}@<Const>(); // \expos
     bool @\exposid{incremented_}@ = false;                          // \expos
   public:
@@ -6362,7 +6362,7 @@
              @\exposconcept{has-tuple-element}@<remove_reference_t<range_reference_t<V>>, N>
   template<bool Const>
   class elements_view<V, N>::@\exposid{iterator}@ {                 // \expos
-    using @\exposid{Base}@ = conditional_t<Const, const V, V>;      // \expos
+    using @\exposid{Base}@ = @\exposid{maybe-const}@<Const, V>;                 // \expos
 
     iterator_t<@\exposid{Base}@> @\exposid{current_}@ = iterator_t<@\exposid{Base}@>();
   public:
@@ -6706,7 +6706,7 @@
   template<bool Const>
   class elements_view<V, N>::@\exposid{sentinel}@ {                 // \expos
   private:
-    using @\exposid{Base}@ = conditional_t<Const, const V, V>;      // \expos
+    using @\exposid{Base}@ = @\exposid{maybe-const}@<Const, V>;                 // \expos
     sentinel_t<@\exposid{Base}@> @\exposid{end_}@ = sentinel_t<@\exposid{Base}@>();         // \expos
   public:
     @\exposid{sentinel}@() = default;