diff --git a/source/ranges.tex b/source/ranges.tex index a35eefb3c0..a764a4756a 100644 --- a/source/ranges.tex +++ b/source/ranges.tex @@ -14286,10 +14286,9 @@ (@\libconcept{bidirectional_range}@<@\exposid{maybe-const}@> && @\exposconcept{cartesian-product-common-arg}@<@\exposid{maybe-const}@>)); - template + template concept @\defexposconcept{cartesian-product-is-common}@ = // \expos - (@\exposconcept{cartesian-product-common-arg}@ && ... && - @\exposconcept{cartesian-product-common-arg}@); + @\exposconcept{cartesian-product-common-arg}@; template concept @\defexposconcept{cartesian-product-is-sized}@ = // \expos @@ -14330,9 +14329,9 @@ constexpr @\exposid{iterator}@ end() requires ((!@\exposconcept{simple-view}@ || ... || !@\exposconcept{simple-view}@) && - @\exposconcept{cartesian-product-is-common}@); + @\exposconcept{cartesian-product-is-common}@); constexpr @\exposid{iterator}@ end() const - requires @\exposconcept{cartesian-product-is-common}@; + requires @\exposconcept{cartesian-product-is-common}@; constexpr default_sentinel_t end() const noexcept; constexpr @\seebelow@ size() @@ -14384,9 +14383,9 @@ \begin{itemdecl} constexpr @\exposid{iterator}@ end() requires ((!@\exposconcept{simple-view}@ || ... || !@\exposconcept{simple-view}@) - && @\exposconcept{cartesian-product-is-common}@); + && @\exposconcept{cartesian-product-is-common}@); constexpr @\exposid{iterator}@ end() const - requires @\exposconcept{cartesian-product-is-common}@; + requires @\exposconcept{cartesian-product-is-common}@; \end{itemdecl} \begin{itemdescr}