LWG3946 The definition of const_iterator_t should be reworked

Author: burblebee

source/ranges.tex

@@ -65,9 +65,9 @@
   template<@\libconcept{range}@ R>
     using sentinel_t = decltype(ranges::end(declval<R&>()));                        // freestanding
   template<@\libconcept{range}@ R>
-    using const_iterator_t = const_iterator<iterator_t<R>>;                         // freestanding
+    using const_iterator_t = decltype(ranges::cbegin(declval<R&>()));               // freestanding
   template<@\libconcept{range}@ R>
-    using const_sentinel_t = const_sentinel<sentinel_t<R>>;                         // freestanding
+    using const_sentinel_t = decltype(ranges::cend(declval<R&>()));                 // freestanding
   template<@\libconcept{range}@ R>
     using range_difference_t = iter_difference_t<iterator_t<R>>;                    // freestanding
   template<@\libconcept{sized_range}@ R>