[iterator.synopsis,ranges.syn] Add 'freestanding' markers per P1642R11

Author: jensmaurer

source/iterators.tex

@@ -336,37 +336,37 @@
 
   // \ref{const.iterators}, constant iterators and sentinels
   template<@\libconcept{indirectly_readable}@ I>
-    using iter_const_reference_t = @\seebelow@;
+    using iter_const_reference_t = @\seebelow@;                               // freestanding
   template<class Iterator>
     concept @\exposconcept{constant-iterator}@ = @\seebelow@; // \expos
 
   template<class Iterator>
-    class basic_const_iterator;
+    class basic_const_iterator;                                             // freestanding
 
   template<class T, @\libconcept{common_with}@<T> U>
-  struct common_type<basic_const_iterator<T>, U> {
+  struct common_type<basic_const_iterator<T>, U> {                          // freestanding
     using type = basic_const_iterator<common_type_t<T, U>>;
   };
   template<class T, @\libconcept{common_with}@<T> U>
-  struct common_type<U, basic_const_iterator<T>> {
+  struct common_type<U, basic_const_iterator<T>> {                          // freestanding
     using type = basic_const_iterator<common_type_t<T, U>>;
   };
   template<class T, @\libconcept{common_with}@<T> U>
-  struct common_type<basic_const_iterator<T>, basic_const_iterator<U>> {
+  struct common_type<basic_const_iterator<T>, basic_const_iterator<U>> {    // freestanding
     using type = basic_const_iterator<common_type_t<T, U>>;
   };
 
   template<@\libconcept{input_iterator}@ I>
-    using const_iterator = @\seebelow@;
+    using const_iterator = @\seebelow@;                                       // freestanding
 
   template<class S>
-    using const_sentinel = @\seebelow@;
+    using const_sentinel = @\seebelow@;                                       // freestanding
 
   template<@\libconcept{input_iterator}@ I>
-    constexpr const_iterator<I> make_const_iterator(I it) { return it; }
+    constexpr const_iterator<I> make_const_iterator(I it) { return it; }    // freestanding
 
   template<class S>
-    constexpr const_sentinel<S> make_const_sentinel(S s) { return s; }
+    constexpr const_sentinel<S> make_const_sentinel(S s) { return s; }      // freestanding
 
   // \ref{move.iterators}, move iterators and sentinels
   template<class Iterator> class move_iterator;                                     // freestanding

source/ranges.tex

@@ -64,7 +64,7 @@
   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>>;
+    using const_iterator_t = const_iterator<iterator_t<R>>;             // freestanding
   template<@\libconcept{range}@ R>
     using range_difference_t = iter_difference_t<iterator_t<R>>;                    // freestanding
   template<@\libconcept{sized_range}@ R>
@@ -74,7 +74,7 @@
   template<@\libconcept{range}@ R>
     using range_reference_t = iter_reference_t<iterator_t<R>>;                      // freestanding
   template<@\libconcept{range}@ R>
-    using range_const_reference_t = iter_const_reference_t<iterator_t<R>>;
+    using range_const_reference_t = iter_const_reference_t<iterator_t<R>>;  // freestanding
   template<@\libconcept{range}@ R>
     using range_rvalue_reference_t = iter_rvalue_reference_t<iterator_t<R>>;        // freestanding
 
@@ -120,7 +120,7 @@
     concept viewable_range = @\seebelow@;                                             // freestanding
 
   template<class T>
-    concept constant_range = @\seebelow@;
+    concept constant_range = @\seebelow@;                        // freestanding
 
   // \ref{view.interface}, class template \tcode{view_interface}
   template<class D>
@@ -362,12 +362,13 @@
 
   template<@\libconcept{view}@ V>
     requires @\libconcept{input_range}@<V>
-  class as_const_view;
+  class as_const_view;                                          // freestanding
 
   template<class T>
-    inline constexpr bool enable_borrowed_range<as_const_view<T>> = enable_borrowed_range<T>;
+    inline constexpr bool enable_borrowed_range<as_const_view<T>> =         // freestanding
+      enable_borrowed_range<T>;
 
-  namespace views { inline constexpr @\unspec@ as_const = @\unspec@; }
+  namespace views { inline constexpr @\unspec@ as_const = @\unspec@; }   // freestanding
 
   // \ref{range.elements}, elements view
   template<@\libconcept{input_range}@ V, size_t N>