LWG4245 Operators that interact with counted_iterator and default_sentinel_t should be noexcept

Author: burblebee

source/iterators.tex

@@ -5971,9 +5971,9 @@
       friend constexpr iter_difference_t<I2> operator-(
         const counted_iterator& x, const counted_iterator<I2>& y);
     friend constexpr iter_difference_t<I> operator-(
-      const counted_iterator& x, default_sentinel_t);
+      const counted_iterator& x, default_sentinel_t) noexcept;
     friend constexpr iter_difference_t<I> operator-(
-      default_sentinel_t, const counted_iterator& y);
+      default_sentinel_t, const counted_iterator& y) noexcept;
     constexpr counted_iterator& operator-=(iter_difference_t<I> n)
       requires @\libconcept{random_access_iterator}@<I>;
 
@@ -5984,7 +5984,7 @@
       friend constexpr bool operator==(
         const counted_iterator& x, const counted_iterator<I2>& y);
     friend constexpr bool operator==(
-      const counted_iterator& x, default_sentinel_t);
+      const counted_iterator& x, default_sentinel_t) noexcept;
 
     template<@\libconcept{common_with}@<I> I2>
       friend constexpr strong_ordering operator<=>(
@@ -6315,7 +6315,7 @@
 \indexlibrarymember{operator-}{counted_iterator}%
 \begin{itemdecl}
 friend constexpr iter_difference_t<I> operator-(
-  const counted_iterator& x, default_sentinel_t);
+  const counted_iterator& x, default_sentinel_t) noexcept;
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -6328,7 +6328,7 @@
 \indexlibrarymember{operator-}{counted_iterator}%
 \begin{itemdecl}
 friend constexpr iter_difference_t<I> operator-(
-  default_sentinel_t, const counted_iterator& y);
+  default_sentinel_t, const counted_iterator& y) noexcept;
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -6381,7 +6381,7 @@
 \indexlibrarymember{operator==}{counted_iterator}%
 \begin{itemdecl}
 friend constexpr bool operator==(
-  const counted_iterator& x, default_sentinel_t);
+  const counted_iterator& x, default_sentinel_t) noexcept;
 \end{itemdecl}
 
 \begin{itemdescr}