@@ -1805,19 +1805,16 @@
     static constexpr const auto& @\exposidnc{complete}@ = @\exposidnc{impls-for}@<@\exposidnc{tag-t}@>::@\exposidnc{complete}@;         // \expos
 
     template<class... Args>
-      requires @\exposconcept{callable}@<decltype(@\exposid{complete}@), Index, @\exposid{state-t}@&, Rcvr&, set_value_t, Args...>
     void set_value(Args&&... args) && noexcept {
       @\exposid{complete}@(Index(), @\exposidnc{op}@->@\exposid{state}@, @\exposidnc{op}@->@\exposid{rcvr}@, set_value_t(), std::forward<Args>(args)...);
     }
 
     template<class Error>
-      requires @\exposconcept{callable}@<decltype(@\exposid{complete}@), Index, @\exposid{state-t}@&, Rcvr&, set_error_t, Error>
     void set_error(Error&& err) && noexcept {
       @\exposid{complete}@(Index(), @\exposidnc{op}@->@\exposid{state}@, @\exposidnc{op}@->@\exposid{rcvr}@, set_error_t(), std::forward<Error>(err));
     }
 
     void set_stopped() && noexcept
-      requires @\exposconcept{callable}@<decltype(@\exposid{complete}@), Index, @\exposid{state-t}@&, Rcvr&, set_stopped_t> {
       @\exposid{complete}@(Index(), @\exposidnc{op}@->@\exposid{state}@, @\exposidnc{op}@->@\exposid{rcvr}@, set_stopped_t());
     }
 
@@ -6730,9 +6727,7 @@
 Then:
 \begin{itemize}
 \item
-If \tcode{\libconcept{constructible_from}<\exposid{result-type}, decltype((vs))...>}
-is satisfied,
-the expression \tcode{set_value(\newline rcvr, vs...)} is equivalent to:
+The expression \tcode{set_value(rcvr, vs...)} is equivalent to:
 \begin{codeblock}
 try {
   rcvr.@\exposid{result-ptr}@->template emplace<1>(vs...);
@@ -6741,7 +6736,10 @@
 }
 @\placeholder{MAKE-NOEXCEPT}@(rcvr.@\exposid{continuation}@.resume());
 \end{codeblock}
-Otherwise, \tcode{set_value(rcvr, vs...)} is ill-formed.
+
+\mandates
+\tcode{\libconcept{constructible_from}<\exposid{result-type}, decltype((vs))...>}
+is satisfied.
 \item
 The expression \tcode{set_error(rcvr, err)} is equivalent to:
 \begin{codeblock}