[string.view.synop,span.syn,span.cons] enable_/safe_range are defined in std::ranges (#3551)

Author: CaseyCarter

source/containers.tex

@@ -10515,7 +10515,7 @@
     class span;
 
   template<class ElementType, size_t Extent>
-    inline constexpr bool enable_safe_range<span<ElementType, Extent>> = true;
+    inline constexpr bool ranges::enable_safe_range<span<ElementType, Extent>> = true;
 
   // \ref{span.objectrep}, views of object representation
   template<class ElementType, size_t Extent>
@@ -10788,7 +10788,7 @@
 \item \tcode{extent == dynamic_extent} is \tcode{true}.
 \item \tcode{R} satisfies \tcode{ranges::\libconcept{contiguous_range}} and
   \tcode{ranges::\libconcept{sized_range}}.
-\item Either \tcode{R} satisfies \libconcept{safe_range} or
+\item Either \tcode{R} satisfies \tcode{ranges::\libconcept{safe_range}} or
 \tcode{is_const_v<element_type>} is \tcode{true}.
 \item \tcode{remove_cvref_t<R>} is not a specialization of \tcode{span}.
 \item \tcode{remove_cvref_t<R>} is not a specialization of \tcode{array}.
@@ -10807,7 +10807,7 @@
 \item \tcode{R} models \tcode{ranges::\libconcept{contiguous_range}} and
 \tcode{ranges::\libconcept{sized_range}}.
 \item If \tcode{is_const_v<element_type>} is \tcode{false},
-\tcode{R} models \libconcept{safe_range}.
+\tcode{R} models \tcode{ranges::\libconcept{safe_range}}.
 \end{itemize}
 
 \pnum

source/strings.tex

@@ -3933,7 +3933,7 @@
   class basic_string_view;
 
   template<class charT, class traits>
-    inline constexpr bool enable_safe_range<basic_string_view<charT, traits>> = true;
+    inline constexpr bool ranges::enable_safe_range<basic_string_view<charT, traits>> = true;
 
   // \ref{string.view.comparison}, non-member comparison functions
   template<class charT, class traits>