LWG3760 cartesian_product_view::iterator's parent_ is never valid

[range.cartesian.iterator] Use \exposidnc on exposids when followed by an \expos comment.

Author: burblebee

source/ranges.tex

@@ -14345,7 +14345,9 @@
 \pnum
 \effects
 Equivalent to:
-\tcode{return \exposid{iterator}<false>(\exposid{tuple-transform}(ranges::begin, \exposid{bases_}));}
+\begin{codeblock}
+return @\exposid{iterator}@<false>(*this, @\exposid{tuple-transform}@(ranges::begin, @\exposid{bases_}@));
+\end{codeblock}
 \end{itemdescr}
 
 \begin{itemdecl}
@@ -14357,7 +14359,9 @@
 \pnum
 \effects
 Equivalent to:
-\tcode{return \exposid{iterator}<true>(\exposid{tuple-transform}(ranges::begin, \exposid{bases_}));}
+\begin{codeblock}
+return @\exposid{iterator}@<true>(*this, @\exposid{tuple-transform}@(ranges::begin, @\exposid{bases_}@));
+\end{codeblock}
 \end{itemdescr}
 
 \begin{itemdecl}
@@ -14391,7 +14395,7 @@
 \effects
 Equivalent to:
 \begin{codeblock}
-@\exposid{iterator}@<@\exposid{is-const}@> it(@\exposid{tuple-transform}@(
+@\exposid{iterator}@<@\exposid{is-const}@> it(*this, @\exposid{tuple-transform}@(
   [](auto& rng){ return @\exposid{begin-or-first-end}@(rng); }, @\exposid{bases_}@));
 return it;
 \end{codeblock}
@@ -14506,21 +14510,22 @@
         @\libconcept{indirectly_swappable}@<iterator_t<@\exposid{maybe-const}@<Const, Vs>>>);
 
   private:
-    @\exposid{maybe-const}@<Const, cartesian_product_view>* @\exposid{parent_}@ = nullptr;      // \expos
+    using @\exposidnc{Parent}@ = @\exposidnc{maybe-const}@<Const, cartesian_product_view>;          // \expos
+    @\exposidnc{Parent}@* @\exposidnc{parent_}@ = nullptr;                                          // \expos
     tuple<iterator_t<@\exposid{maybe-const}@<Const, First>>,
-      iterator_t<@\exposid{maybe-const}@<Const, Vs>>...> @\exposid{current_}@;                  // \expos
+      iterator_t<@\exposidnc{maybe-const}@<Const, Vs>>...> @\exposidnc{current_}@;                  // \expos
 
     template<size_t N = sizeof...(Vs)>
-      constexpr void @\exposid{next}@();                                            // \expos
+      constexpr void @\exposidnc{next}@();                                            // \expos
 
     template<size_t N = sizeof...(Vs)>
-      constexpr void @\exposid{prev}@();                                            // \expos
+      constexpr void @\exposidnc{prev}@();                                            // \expos
 
     template<class Tuple>
-      constexpr difference_type @\exposid{distance-from}@(Tuple t);                 // \expos
+      constexpr difference_type @\exposidnc{distance-from}@(Tuple t);                 // \expos
 
-    constexpr explicit @\exposid{iterator}@(tuple<iterator_t<@\exposid{maybe-const}@<Const, First>>,
-      iterator_t<@\exposid{maybe-const}@<Const, Vs>>...> current);                  // \expos
+    constexpr @\exposid{iterator}@(@\exposid{Parent}@& parent, tuple<iterator_t<@\exposid{maybe-const}@<Const, First>>,
+      iterator_t<@\exposidnc{maybe-const}@<Const, Vs>>...> current);                  // \expos
   };
 }
 \end{codeblock}
@@ -14633,14 +14638,16 @@
 \end{itemdescr}
 
 \begin{itemdecl}
-constexpr explicit @\exposid{iterator}@(tuple<iterator_t<@\exposid{maybe-const}@<Const, First>>,
+constexpr @\exposid{iterator}@(@\exposid{Parent}@& parent, tuple<iterator_t<@\exposid{maybe-const}@<Const, First>>,
   iterator_t<@\exposid{maybe-const}@<Const, Vs>>...> current);
 \end{itemdecl}
 
 \begin{itemdescr}
 \pnum
 \effects
-Initializes \exposid{current_} with \tcode{std::move(current)}.
+Initializes
+\exposid{parent_} with \tcode{addressof(parent)} and
+\exposid{current_} with \tcode{std::move(current)}.
 \end{itemdescr}
 
 \begin{itemdecl}
@@ -14652,7 +14659,9 @@
 \begin{itemdescr}
 \pnum
 \effects
-Initializes \exposid{current_} with \tcode{std::move(i.\exposid{current_})}.
+Initializes
+\exposid{parent_} with \tcode{i.\exposid{parent_}} and
+\exposid{current_} with \tcode{std::move(i.\exposid{current_})}.
 \end{itemdescr}
 
 \begin{itemdecl}