implemented noexcept for basic_operation/basic_sender

Author: dietmarkuehl

include/beman/execution26/detail/basic_operation.hpp

@@ -35,7 +35,12 @@ template <typename Sender, typename Receiver>
     using inner_ops_t = ::beman::execution26::detail::connect_all_result<Sender, Receiver>;
     inner_ops_t inner_ops;
 
-    basic_operation(Sender&& sender, Receiver&& receiver) noexcept(true /*-dk:TODO*/)
+    basic_operation(Sender&& sender, Receiver&& receiver) noexcept(
+        noexcept(::beman::execution26::detail::basic_state<Sender, Receiver>(::std::forward<Sender>(sender),
+                                                                             ::std::move(receiver))) &&
+        noexcept(::beman::execution26::detail::connect_all(this,
+                                                           ::std::forward<Sender>(sender),
+                                                           ::beman::execution26::detail::indices_for<Sender>())))
         : ::beman::execution26::detail::basic_state<Sender, Receiver>(::std::forward<Sender>(sender),
                                                                       ::std::move(receiver)),
           // NOLINTBEGIN(bugprone-use-after-move,hicpp-invalid-access-moved)

include/beman/execution26/detail/basic_sender.hpp

@@ -46,23 +46,29 @@ struct basic_sender : ::beman::execution26::detail::product_type<Tag, Data, Chil
   private:
 #if __cpp_explicit_this_parameter < 202110L
     template <::beman::execution26::receiver Receiver>
-    auto connect(Receiver receiver) & noexcept(true /*-dk:TODO*/)
+    auto connect(Receiver receiver) & noexcept(
+        noexcept(::beman::execution26::detail::basic_operation<basic_sender&, Receiver>{*this, ::std::move(receiver)}))
         -> ::beman::execution26::detail::basic_operation<basic_sender&, Receiver> {
         return {*this, ::std::move(receiver)};
     }
     template <::beman::execution26::receiver Receiver>
-    auto connect(Receiver receiver) const& noexcept(true /*-dk:TODO*/)
+    auto connect(Receiver receiver) const& noexcept(noexcept(
+        ::beman::execution26::detail::basic_operation<const basic_sender&, Receiver>{*this, ::std::move(receiver)}))
         -> ::beman::execution26::detail::basic_operation<const basic_sender&, Receiver> {
         return {*this, ::std::move(receiver)};
     }
     template <::beman::execution26::receiver Receiver>
-    auto connect(Receiver receiver) && noexcept(true /*-dk:TODO*/)
+    auto connect(Receiver receiver) && noexcept(
+        noexcept(::beman::execution26::detail::basic_operation<basic_sender, Receiver>{::std::move(*this),
+                                                                                       ::std::move(receiver)}))
         -> ::beman::execution26::detail::basic_operation<basic_sender, Receiver> {
         return {::std::move(*this), ::std::move(receiver)};
     }
 #else
     template <::beman::execution26::detail::decays_to<basic_sender> Self, ::beman::execution26::receiver Receiver>
-    auto connect(this Self&& self, Receiver receiver) noexcept(true /*-dk:TODO*/)
+    auto connect(this Self&& self, Receiver receiver) && noexcept(
+        noexcept(::beman::execution26::detail::basic_operation<basic_sender, Receiver>{::std::forward<Self>(self),
+                                                                                       ::std::move(receiver)}))
         -> ::beman::execution26::detail::basic_operation<Self, Receiver> {
         return {::std::forward<Self>(self), ::std::move(receiver)};
     }

include/beman/execution26/detail/then.hpp

@@ -51,6 +51,7 @@ struct then_t : ::beman::execution26::sender_adaptor_closure<then_t<Completion>>
 
 template <typename Completion>
 struct impls_for<then_t<Completion>> : ::beman::execution26::detail::default_impls {
+    // NOLINTBEGIN(bugprone-exception-escape)
     static constexpr auto complete =
         []<typename Tag, typename... Args>(auto, auto& fun, auto& receiver, Tag, Args&&... args) noexcept -> void {
         if constexpr (::std::same_as<Completion, Tag>) {
@@ -66,13 +67,17 @@ struct impls_for<then_t<Completion>> : ::beman::execution26::detail::default_imp
                 if constexpr (not noexcept(::std::invoke(::std::move(fun), ::std::forward<Args>(args)...)
 
                                                )) {
+                    static_assert(
+                        noexcept(::beman::execution26::set_error(::std::move(receiver), ::std::current_exception())));
                     ::beman::execution26::set_error(::std::move(receiver), ::std::current_exception());
                 }
             }
         } else {
+            static_assert(noexcept(Tag()(::std::move(receiver), ::std::forward<Args>(args)...)));
             Tag()(::std::move(receiver), ::std::forward<Args>(args)...);
         }
     };
+    // NOLINTEND(bugprone-exception-escape)
 };
 
 template <typename T>