[Motions 2025 11 lwg 2] C++ Standard Library Immediate Issues

source/algorithms.tex

@@ -8256,7 +8256,8 @@
 \effects
 Equivalent to:
 \begin{codeblock}
-return ranges::rotate(std::forward<Ep>(exec), ranges::begin(r), middle, ranges::end(r));
+return ranges::rotate(std::forward<Ep>(exec), ranges::begin(r), middle,
+                      ranges::begin(r) + ranges::distance(r));
 \end{codeblock}
 \end{itemdescr}
 
@@ -8381,8 +8382,10 @@
 \effects
 Equivalent to:
 \begin{codeblock}
-return ranges::rotate_copy(std::forward<Ep>(exec), ranges::begin(r), middle, ranges::end(r),
-                           ranges::begin(result_r), ranges::end(result_r));
+return ranges::rotate_copy(std::forward<Ep>(exec), ranges::begin(r), middle,
+                           ranges::begin(r) + ranges::distance(r),
+                           ranges::begin(result_r),
+                           ranges::begin(result_r) + ranges::distance(result_r));
 \end{codeblock}
 \end{itemdescr}
 
@@ -9002,7 +9005,8 @@
 Equivalent to:
 \begin{codeblock}
 return ranges::partial_sort(std::forward<Ep>(exec), ranges::begin(r), middle,
-                            ranges::end(r), comp, proj);
+                            ranges::begin(r) + ranges::distance(r),
+                            comp, proj);
 \end{codeblock}
 \end{itemdescr}
 
@@ -9386,7 +9390,8 @@
 \effects
 Equivalent to:
 \begin{codeblock}
-return ranges::nth_element(std::forward<Ep>(exec), ranges::begin(r), nth, ranges::end(r),
+return ranges::nth_element(std::forward<Ep>(exec), ranges::begin(r), nth,
+                           ranges::begin(r) + ranges::distance(r),
                            comp, proj);
 \end{codeblock}
 \end{itemdescr}
@@ -10258,7 +10263,8 @@
 Equivalent to:
 \begin{codeblock}
 return ranges::inplace_merge(std::forward<Ep>(exec), ranges::begin(r), middle,
-                             ranges::end(r), comp, proj);
+                             ranges::begin(r) + ranges::distance(r),
+                             comp, proj);
 \end{codeblock}
 \end{itemdescr}
 

source/containers.tex

@@ -1810,6 +1810,9 @@
 \mandates
 \tcode{\libconcept{assignable_from}<T\&, ranges::range_reference_t<R>>}
 is modeled.
+For \tcode{inplace_vector},
+if \tcode{ranges::size(rg)} is a constant expression then
+\tcode{ranges::size(rg)} $\le$ \tcode{a.max_size()}.
 
 \pnum
 \expects
@@ -10994,6 +10997,11 @@
 \end{itemdecl}
 
 \begin{itemdescr}
+\pnum
+\mandates
+If \tcode{ranges::size(rg)} is a constant expression then
+\tcode{ranges::size(rg)} $\le$ \tcode{N}.
+
 \pnum
 \effects
 Constructs an \tcode{inplace_vector} with
@@ -21940,7 +21948,7 @@
                                            extents_type>)
         mapping(const LayoutLeftPaddedMapping&) noexcept;
     template<class OtherExtents>
-      constexpr explicit(extents_type::rank() > 0)
+      constexpr explicit(@\seebelow@)
         mapping(const layout_stride::mapping<OtherExtents>&);
 
     constexpr mapping& operator=(const mapping&) noexcept = default;
@@ -22116,7 +22124,7 @@
 \indexlibraryctor{layout_left::mapping}%
 \begin{itemdecl}
 template<class OtherExtents>
-  constexpr explicit(extents_type::rank() > 0)
+  constexpr explicit(@\seebelow@)
     mapping(const layout_stride::mapping<OtherExtents>& other);
 \end{itemdecl}
 
@@ -22141,6 +22149,13 @@
 \pnum
 \effects
 Direct-non-list-initializes \exposid{extents_} with \tcode{other.extents()}.
+
+\pnum
+\remarks
+The expression inside \tcode{explicit} is equivalent to:
+\begin{codeblock}
+!(extents_type::rank() == 0 && is_convertible_v<OtherExtents, extents_type>)
+\end{codeblock}
 \end{itemdescr}
 
 \rSec5[mdspan.layout.left.obs]{Observers}
@@ -22262,7 +22277,7 @@
                                            extents_type>)
         mapping(const LayoutRightPaddedMapping&) noexcept;
     template<class OtherExtents>
-      constexpr explicit(extents_type::rank() > 0)
+      constexpr explicit(@\seebelow@)
         mapping(const layout_stride::mapping<OtherExtents>&) noexcept;
 
     constexpr mapping& operator=(const mapping&) noexcept = default;
@@ -22442,7 +22457,7 @@
 \indexlibraryctor{layout_right::mapping}%
 \begin{itemdecl}
 template<class OtherExtents>
- constexpr explicit(extents_type::rank() > 0)
+  constexpr explicit(@\seebelow@)
     mapping(const layout_stride::mapping<OtherExtents>& other) noexcept;
 \end{itemdecl}
 
@@ -22467,6 +22482,13 @@
 \pnum
 \effects
 Direct-non-list-initializes \exposid{extents_} with \tcode{other.extents()}.
+
+\pnum
+\remarks
+The expression inside \tcode{explicit} is equivalent to:
+\begin{codeblock}
+!(extents_type::rank() == 0 && is_convertible_v<OtherExtents, extents_type>)
+\end{codeblock}
 \end{itemdescr}
 
 \rSec5[mdspan.layout.right.obs]{Observers}
@@ -22979,7 +23001,7 @@
       constexpr explicit(!is_convertible_v<OtherExtents, extents_type>)
         mapping(const layout_left::mapping<OtherExtents>&);
     template<class OtherExtents>
-      constexpr explicit(extents_type::rank() > 0)
+      constexpr explicit(@\seebelow@)
         mapping(const layout_stride::mapping<OtherExtents>&);
     template<class LayoutLeftPaddedMapping>
       constexpr explicit(@\seebelow@)
@@ -23268,7 +23290,7 @@
 \indexlibraryctor{layout_left_padded::mapping}%
 \begin{itemdecl}
 template<class OtherExtents>
-  constexpr explicit(rank_ > 0)
+  constexpr explicit(@\seebelow@)
     mapping(const layout_stride::mapping<OtherExtents>& other);
 \end{itemdecl}
 
@@ -23313,6 +23335,13 @@
 direct-non-list-initializes \exposid{stride-1} with
 \tcode{other.stride(1)}.
 \end{itemize}
+
+\pnum
+\remarks
+The expression inside \tcode{explicit} is equivalent to:
+\begin{codeblock}
+!(rank_ == 0 && is_convertible_v<OtherExtents, extents_type>)
+\end{codeblock}
 \end{itemdescr}
 
 \indexlibraryctor{layout_left_padded::mapping}%
@@ -23375,6 +23404,7 @@
 \remarks
 The expression inside \tcode{explicit} is equivalent to:
 \begin{codeblock}
+!is_convertible_v<typename LayoutLeftPaddedMapping::extents_type, extents_type> ||
 rank_> 1 &&
 (padding_value != dynamic_extent ||
  LayoutLeftPaddedMapping::padding_value == dynamic_extent)
@@ -23603,7 +23633,7 @@
       constexpr explicit(!is_convertible_v<OtherExtents, extents_type>)
         mapping(const layout_right::mapping<OtherExtents>&);
     template<class OtherExtents>
-      constexpr explicit(rank_ > 0)
+      constexpr explicit(@\seebelow@)
         mapping(const layout_stride::mapping<OtherExtents>&);
     template<class LayoutRightPaddedMapping>
       constexpr explicit(@\seebelow@)
@@ -23896,7 +23926,7 @@
 \indexlibraryctor{layout_right_padded::mapping}%
 \begin{itemdecl}
 template<class OtherExtents>
-  constexpr explicit(rank_ > 0)
+  constexpr explicit(@\seebelow@)
     mapping(const layout_stride::mapping<OtherExtents>& other);
 \end{itemdecl}
 
@@ -23942,6 +23972,13 @@
 direct-non-list-initializes \exposid{stride-rm2}
 with \tcode{other.stride(\exposid{rank_} - 2)}.
 \end{itemize}
+
+\pnum
+\remarks
+The expression inside \tcode{explicit} is equivalent to:
+\begin{codeblock}
+!(rank_ == 0 && is_convertible_v<OtherExtents, extents_type>)
+\end{codeblock}
 \end{itemdescr}
 
 \indexlibraryctor{layout_right_padded::mapping}%
@@ -24004,6 +24041,7 @@
 \remarks
 The expression inside \tcode{explicit} is equivalent to:
 \begin{codeblock}
+!is_convertible_v<typename LayoutRightPaddedMapping::extents_type, extents_type> ||
 @\exposid{rank_}@ > 1 &&
 (padding_value != dynamic_extent ||
  LayoutRightPaddedMapping::padding_value == dynamic_extent)

source/exec.tex

@@ -3816,7 +3816,7 @@
 Equivalent to:
 \begin{codeblock}
 auto cs = get_completion_signatures<@\exposid{child-type}@<Sndr>, @\exposid{FWD-ENV-T}@(Env)...>();
-auto fn = []<class... Ts>(set_value_t(*)(Ts...)) {
+auto fn = []<class... Ts>(@\exposid{decayed-typeof}@<@\exposid{set-cpo}@>(*)(Ts...)) {
   if constexpr (!@\libconcept{invocable}@<remove_cvref_t<@\exposid{data-type}@<Sndr>>, Ts...>)
     throw @\placeholder{unspecified-exception}@();
 };
@@ -4428,22 +4428,24 @@
 \begin{codeblock}
 template<class Env>
   constexpr auto @\exposid{make-when-all-env}@(inplace_stop_source& stop_src,               // \expos
-                                   Env&& env) noexcept {
-  return @\seebelow@;
-}
+                                   Env&& env) noexcept;
 \end{codeblock}
-Returns an object \tcode{e} such that
+
+\pnum
+\returns
+An object \tcode{e} such that
 \begin{itemize}
 \item
 \tcode{decltype(e)} models \exposconcept{queryable}, and
 \item
 \tcode{e.query(get_stop_token)} is expression-equivalent to
-\tcode{state.\exposid{stop-src}.get_token()}, and
+\tcode{stop_src.get_token()}, and
 \item
 given a query object \tcode{q}
-with type other than \cv{} \tcode{get_stop_token_t} and
-whose type satisfies \exposconceptx{forwarding-\brk{}query}{forwarding-query},
-\tcode{e.query(q)} is expression-equivalent to \tcode{get_env(rcvr).query(q)}.
+with type other than \cv{} \tcode{get_stop_token_t},
+\tcode{e.query(q)} is expression-equivalent to \tcode{env.query(q)}
+if the type of \tcode{q} satisfies \exposconcept{forwarding-query}, and
+ill-formed otherwise.
 \end{itemize}
 
 \pnum
@@ -6616,7 +6618,8 @@
   template<class Sndr, class Promise>
     concept @\defexposconcept{awaitable-sender}@ =
       @\exposconcept{single-sender}@<Sndr, env_of_t<Promise>> &&
-      @\libconcept{sender_to}@<Sndr, @\exposid{awaitable-receiver}@> &&    // \seebelow
+      @\libconcept{sender_to}@<Sndr,
+                typename @\exposid{sender-awaitable}@<Sndr, Promise>::@\exposid{awaitable-receiver}@> &&    // \seebelow
       requires (Promise& p) {
         { p.unhandled_stopped() } -> @\libconcept{convertible_to}@<coroutine_handle<>>;
       };
@@ -6758,16 +6761,8 @@
 where \tcode{A} is the type of the expression above.
 \item
 Otherwise, \tcode{(void(p), expr)}
-if \tcode{\exposconcept{is-awaitable}<Expr, U>} is \tcode{true},
-where \tcode{U} is an unspecified class type
-that is not \tcode{Promise} and
-that lacks a member named \tcode{await_transform}.
-
-\expects
-\tcode{\exposconcept{is-awaitable}<Expr, Promise>} is \tcode{true} and
-the expression \tcode{co_await expr}
-in a coroutine with promise type \tcode{U} is expression-equivalent to
-the same expression in a coroutine with promise type \tcode{Promise}.
+if \tcode{decltype(\exposid{GET-AWAITER}(expr))}
+satisfies \tcode{\exposconcept{is-awaiter}<Promise>}.
 \item
 Otherwise, \tcode{\exposid{sender-awaitable}\{\exposid{adapted-expr}, p\}}
 if

source/lib-intro.tex

@@ -871,7 +871,12 @@
 
 \pnum
 The type of a customization point object, ignoring cv-qualifiers, shall model
-\libconcept{semiregular}\iref{concepts.object}.
+\libconcept{semiregular}\iref{concepts.object}
+and shall be
+a structural type\iref{temp.param} and
+a trivially copyable type\iref{class.prop}.
+Every constructor of this type
+shall have a non-throwing exception specification\iref{except.spec}.
 
 \pnum
 All instances of a specific customization point object type shall