A type trait that determines whether a execute expression is well-formed.

template<
    typename T,
    typename F>
struct can_execute

Class template can_execute is a trait that is derived from true_type if the expression execution::execute(std::declval<T>(), std::declval<F>()) is well formed; otherwise false_type.

Requirements

Header: asio/execution/execute.hpp

Convenience header: asio/execution.hpp