couchbase 3.0.1-universal-darwin-19 → 3.0.2-universal-darwin-19

data/ext/third_party/asio/asio/include/asio/execution/bulk_execute.hpp

@@ -1,390 +0,0 @@
-//
-// execution/bulk_execute.hpp
-// ~~~~~~~~~~~~~~~~~~~~~~~~~~
-//
-// Copyright (c) 2003-2020 Christopher M. Kohlhoff (chris at kohlhoff dot com)
-//
-// Distributed under the Boost Software License, Version 1.0. (See accompanying
-// file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
-//
-
-#ifndef ASIO_EXECUTION_BULK_EXECUTE_HPP
-#define ASIO_EXECUTION_BULK_EXECUTE_HPP
-
-#if defined(_MSC_VER) && (_MSC_VER >= 1200)
-# pragma once
-#endif // defined(_MSC_VER) && (_MSC_VER >= 1200)
-
-#include "asio/detail/config.hpp"
-#include "asio/detail/type_traits.hpp"
-#include "asio/execution/bulk_guarantee.hpp"
-#include "asio/execution/detail/bulk_sender.hpp"
-#include "asio/execution/executor.hpp"
-#include "asio/execution/sender.hpp"
-#include "asio/traits/bulk_execute_member.hpp"
-#include "asio/traits/bulk_execute_free.hpp"
-
-#include "asio/detail/push_options.hpp"
-
-#if defined(GENERATING_DOCUMENTATION)
-
-namespace asio {
-namespace execution {
-
-/// A customisation point that creates a bulk sender.
-/**
- * The name <tt>execution::bulk_execute</tt> denotes a customisation point
- * object. If <tt>is_convertible_v<N, size_t></tt> is true, then the expression
- * <tt>execution::bulk_execute(S, F, N)</tt> for some subexpressions
- * <tt>S</tt>, <tt>F</tt>, and <tt>N</tt> is expression-equivalent to:
- *
- * @li <tt>S.bulk_execute(F, N)</tt>, if that expression is valid. If the
- *   function selected does not execute <tt>N</tt> invocations of the function
- *   object <tt>F</tt> on the executor <tt>S</tt> in bulk with forward progress
- *   guarantee <tt>asio::query(S, execution::bulk_guarantee)</tt>, and
- *   the result of that function does not model <tt>sender<void></tt>, the
- *   program is ill-formed with no diagnostic required.
- *
- * @li Otherwise, <tt>bulk_execute(S, F, N)</tt>, if that expression is valid,
- *   with overload resolution performed in a context that includes the
- *   declaration <tt>void bulk_execute();</tt> and that does not include a
- *   declaration of <tt>execution::bulk_execute</tt>. If the function selected
- *   by overload resolution does not execute <tt>N</tt> invocations of the
- *   function object <tt>F</tt> on the executor <tt>S</tt> in bulk with forward
- *   progress guarantee <tt>asio::query(E,
- *   execution::bulk_guarantee)</tt>, and the result of that function does not
- *   model <tt>sender<void></tt>, the program is ill-formed with no diagnostic
- *   required.
- *
- * @li Otherwise, if the types <tt>F</tt> and
- *   <tt>executor_index_t<remove_cvref_t<S>></tt> model <tt>invocable</tt> and
- *   if <tt>asio::query(S, execution::bulk_guarantee)</tt> equals
- *   <tt>execution::bulk_guarantee.unsequenced</tt>, then
- *
- *    - Evaluates <tt>DECAY_COPY(std::forward<decltype(F)>(F))</tt> on the
- *      calling thread to create a function object <tt>cf</tt>. [Note:
- *      Additional copies of <tt>cf</tt> may subsequently be created. --end
- *      note.]
- *
- *    - For each value of <tt>i</tt> in <tt>N</tt>, <tt>cf(i)</tt> (or copy of
- *      <tt>cf</tt>)) will be invoked at most once by an execution agent that is
- *      unique for each value of <tt>i</tt>.
- *
- *    - May block pending completion of one or more invocations of <tt>cf</tt>.
- *
- *    - Synchronizes with (C++Std [intro.multithread]) the invocations of
- *      <tt>cf</tt>.
- *
- * @li Otherwise, <tt>execution::bulk_execute(S, F, N)</tt> is ill-formed.
- */
-inline constexpr unspecified bulk_execute = unspecified;
-
-/// A type trait that determines whether a @c bulk_execute expression is
-/// well-formed.
-/**
- * Class template @c can_bulk_execute is a trait that is derived from @c
- * true_type if the expression <tt>execution::bulk_execute(std::declval<S>(),
- * std::declval<F>(), std::declval<N>)</tt> is well formed; otherwise @c
- * false_type.
- */
-template <typename S, typename F, typename N>
-struct can_bulk_execute :
-  integral_constant<bool, automatically_determined>
-{
-};
-
-} // namespace execution
-} // namespace asio
-
-#else // defined(GENERATING_DOCUMENTATION)
-
-namespace asio_execution_bulk_execute_fn {
-
-using asio::declval;
-using asio::enable_if;
-using asio::execution::bulk_guarantee_t;
-using asio::execution::detail::bulk_sender;
-using asio::execution::executor_index;
-using asio::execution::is_sender;
-using asio::is_convertible;
-using asio::is_same;
-using asio::remove_cvref;
-using asio::result_of;
-using asio::traits::bulk_execute_free;
-using asio::traits::bulk_execute_member;
-using asio::traits::static_require;
-
-void bulk_execute();
-
-enum overload_type
-{
-  call_member,
-  call_free,
-  adapter,
-  ill_formed
-};
-
-template <typename S, typename Args, typename = void>
-struct call_traits
-{
-  ASIO_STATIC_CONSTEXPR(overload_type, overload = ill_formed);
-  ASIO_STATIC_CONSTEXPR(bool, is_noexcept = false);
-  typedef void result_type;
-};
-
-template <typename S, typename F, typename N>
-struct call_traits<S, void(F, N),
-  typename enable_if<
-    (
-      is_convertible<N, std::size_t>::value
-      &&
-      bulk_execute_member<S, F, N>::is_valid
-      &&
-      is_sender<
-        typename bulk_execute_member<S, F, N>::result_type
-      >::value
-    )
-  >::type> :
-  bulk_execute_member<S, F, N>
-{
-  ASIO_STATIC_CONSTEXPR(overload_type, overload = call_member);
-};
-
-template <typename S, typename F, typename N>
-struct call_traits<S, void(F, N),
-  typename enable_if<
-    (
-      is_convertible<N, std::size_t>::value
-      &&
-      !bulk_execute_member<S, F, N>::is_valid
-      &&
-      bulk_execute_free<S, F, N>::is_valid
-      &&
-      is_sender<
-        typename bulk_execute_free<S, F, N>::result_type
-      >::value
-    )
-  >::type> :
-  bulk_execute_free<S, F, N>
-{
-  ASIO_STATIC_CONSTEXPR(overload_type, overload = call_free);
-};
-
-template <typename S, typename F, typename N>
-struct call_traits<S, void(F, N),
-  typename enable_if<
-    (
-      is_convertible<N, std::size_t>::value
-      &&
-      !bulk_execute_member<S, F, N>::is_valid
-      &&
-      !bulk_execute_free<S, F, N>::is_valid
-      &&
-      is_sender<S>::value
-      &&
-      is_same<
-        typename result_of<
-          F(typename executor_index<typename remove_cvref<S>::type>::type)
-        >::type,
-        typename result_of<
-          F(typename executor_index<typename remove_cvref<S>::type>::type)
-        >::type
-      >::value
-      &&
-      static_require<S, bulk_guarantee_t::unsequenced_t>::is_valid
-    )
-  >::type>
-{
-  ASIO_STATIC_CONSTEXPR(overload_type, overload = adapter);
-  ASIO_STATIC_CONSTEXPR(bool, is_noexcept = false);
-  typedef bulk_sender<S, F, N> result_type;
-};
-
-struct impl
-{
-#if defined(ASIO_HAS_MOVE)
-  template <typename S, typename F, typename N>
-  ASIO_CONSTEXPR typename enable_if<
-    call_traits<S, void(F, N)>::overload == call_member,
-    typename call_traits<S, void(F, N)>::result_type
-  >::type
-  operator()(S&& s, F&& f, N&& n) const
-    ASIO_NOEXCEPT_IF((
-      call_traits<S, void(F, N)>::is_noexcept))
-  {
-    return ASIO_MOVE_CAST(S)(s).bulk_execute(
-        ASIO_MOVE_CAST(F)(f), ASIO_MOVE_CAST(N)(n));
-  }
-
-  template <typename S, typename F, typename N>
-  ASIO_CONSTEXPR typename enable_if<
-    call_traits<S, void(F, N)>::overload == call_free,
-    typename call_traits<S, void(F, N)>::result_type
-  >::type
-  operator()(S&& s, F&& f, N&& n) const
-    ASIO_NOEXCEPT_IF((
-      call_traits<S, void(F, N)>::is_noexcept))
-  {
-    return bulk_execute(ASIO_MOVE_CAST(S)(s),
-        ASIO_MOVE_CAST(F)(f), ASIO_MOVE_CAST(N)(n));
-  }
-
-  template <typename S, typename F, typename N>
-  ASIO_CONSTEXPR typename enable_if<
-    call_traits<S, void(F, N)>::overload == adapter,
-    typename call_traits<S, void(F, N)>::result_type
-  >::type
-  operator()(S&& s, F&& f, N&& n) const
-    ASIO_NOEXCEPT_IF((
-      call_traits<S, void(F, N)>::is_noexcept))
-  {
-    return typename call_traits<S, void(F, N)>::result_type(
-        ASIO_MOVE_CAST(S)(s), ASIO_MOVE_CAST(F)(f),
-        ASIO_MOVE_CAST(N)(n));
-  }
-#else // defined(ASIO_HAS_MOVE)
-  template <typename S, typename F, typename N>
-  ASIO_CONSTEXPR typename enable_if<
-    call_traits<S, void(const F&, const N&)>::overload == call_member,
-    typename call_traits<S, void(const F&, const N&)>::result_type
-  >::type
-  operator()(S& s, const F& f, const N& n) const
-    ASIO_NOEXCEPT_IF((
-      call_traits<S, void(const F&, const N&)>::is_noexcept))
-  {
-    return s.bulk_execute(ASIO_MOVE_CAST(F)(f),
-        ASIO_MOVE_CAST(N)(n));
-  }
-
-  template <typename S, typename F, typename N>
-  ASIO_CONSTEXPR typename enable_if<
-    call_traits<S, void(const F&, const N&)>::overload == call_member,
-    typename call_traits<S, void(const F&, const N&)>::result_type
-  >::type
-  operator()(const S& s, const F& f, const N& n) const
-    ASIO_NOEXCEPT_IF((
-      call_traits<S, void(const F&, const N&)>::is_noexcept))
-  {
-    return s.bulk_execute(ASIO_MOVE_CAST(F)(f),
-        ASIO_MOVE_CAST(N)(n));
-  }
-
-  template <typename S, typename F, typename N>
-  ASIO_CONSTEXPR typename enable_if<
-    call_traits<S, void(const F&, const N&)>::overload == call_free,
-    typename call_traits<S, void(const F&, const N&)>::result_type
-  >::type
-  operator()(S& s, const F& f, const N& n) const
-    ASIO_NOEXCEPT_IF((
-      call_traits<S, void(const F&, const N&)>::is_noexcept))
-  {
-    return bulk_execute(s, ASIO_MOVE_CAST(F)(f),
-        ASIO_MOVE_CAST(N)(n));
-  }
-
-  template <typename S, typename F, typename N>
-  ASIO_CONSTEXPR typename enable_if<
-    call_traits<S, void(const F&, const N&)>::overload == call_free,
-    typename call_traits<S, void(const F&, const N&)>::result_type
-  >::type
-  operator()(const S& s, const F& f, const N& n) const
-    ASIO_NOEXCEPT_IF((
-      call_traits<S, void(const F&, const N&)>::is_noexcept))
-  {
-    return bulk_execute(s, ASIO_MOVE_CAST(F)(f),
-        ASIO_MOVE_CAST(N)(n));
-  }
-
-  template <typename S, typename F, typename N>
-  ASIO_CONSTEXPR typename enable_if<
-    call_traits<S, void(const F&, const N&)>::overload == adapter,
-    typename call_traits<S, void(const F&, const N&)>::result_type
-  >::type
-  operator()(S& s, const F& f, const N& n) const
-    ASIO_NOEXCEPT_IF((
-      call_traits<S, void(const F&, const N&)>::is_noexcept))
-  {
-    return typename call_traits<S, void(const F&, const N&)>::result_type(
-        s, ASIO_MOVE_CAST(F)(f), ASIO_MOVE_CAST(N)(n));
-  }
-
-  template <typename S, typename F, typename N>
-  ASIO_CONSTEXPR typename enable_if<
-    call_traits<S, void(const F&, const N&)>::overload == adapter,
-    typename call_traits<S, void(const F&, const N&)>::result_type
-  >::type
-  operator()(const S& s, const F& f, const N& n) const
-    ASIO_NOEXCEPT_IF((
-      call_traits<S, void(const F&, const N&)>::is_noexcept))
-  {
-    return typename call_traits<S, void(const F&, const N&)>::result_type(
-        s, ASIO_MOVE_CAST(F)(f), ASIO_MOVE_CAST(N)(n));
-  }
-#endif // defined(ASIO_HAS_MOVE)
-};
-
-template <typename T = impl>
-struct static_instance
-{
-  static const T instance;
-};
-
-template <typename T>
-const T static_instance<T>::instance = {};
-
-} // namespace asio_execution_bulk_execute_fn
-namespace asio {
-namespace execution {
-namespace {
-
-static ASIO_CONSTEXPR
-  const asio_execution_bulk_execute_fn::impl& bulk_execute =
-    asio_execution_bulk_execute_fn::static_instance<>::instance;
-
-} // namespace
-
-template <typename S, typename F, typename N>
-struct can_bulk_execute :
-  integral_constant<bool,
-    asio_execution_bulk_execute_fn::call_traits<S, void(F, N)>::overload !=
-      asio_execution_bulk_execute_fn::ill_formed>
-{
-};
-
-#if defined(ASIO_HAS_VARIABLE_TEMPLATES)
-
-template <typename S, typename F, typename N>
-constexpr bool can_bulk_execute_v = can_bulk_execute<S, F, N>::value;
-
-#endif // defined(ASIO_HAS_VARIABLE_TEMPLATES)
-
-template <typename S, typename F, typename N>
-struct is_nothrow_bulk_execute :
-  integral_constant<bool,
-    asio_execution_bulk_execute_fn::call_traits<S, void(F, N)>::is_noexcept>
-{
-};
-
-#if defined(ASIO_HAS_VARIABLE_TEMPLATES)
-
-template <typename S, typename F, typename N>
-constexpr bool is_nothrow_bulk_execute_v
-  = is_nothrow_bulk_execute<S, F, N>::value;
-
-#endif // defined(ASIO_HAS_VARIABLE_TEMPLATES)
-
-template <typename S, typename F, typename N>
-struct bulk_execute_result
-{
-  typedef typename asio_execution_bulk_execute_fn::call_traits<
-      S, void(F, N)>::result_type type;
-};
-
-} // namespace execution
-} // namespace asio
-
-#endif // defined(GENERATING_DOCUMENTATION)
-
-#include "asio/detail/pop_options.hpp"
-
-#endif // ASIO_EXECUTION_BULK_EXECUTE_HPP

data/ext/third_party/asio/asio/include/asio/execution/bulk_guarantee.hpp

@@ -1,1018 +0,0 @@
-//
-// execution/bulk_guarantee.hpp
-// ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-//
-// Copyright (c) 2003-2020 Christopher M. Kohlhoff (chris at kohlhoff dot com)
-//
-// Distributed under the Boost Software License, Version 1.0. (See accompanying
-// file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
-//
-
-#ifndef ASIO_EXECUTION_BULK_GUARANTEE_HPP
-#define ASIO_EXECUTION_BULK_GUARANTEE_HPP
-
-#if defined(_MSC_VER) && (_MSC_VER >= 1200)
-# pragma once
-#endif // defined(_MSC_VER) && (_MSC_VER >= 1200)
-
-#include "asio/detail/config.hpp"
-#include "asio/detail/type_traits.hpp"
-#include "asio/execution/executor.hpp"
-#include "asio/execution/scheduler.hpp"
-#include "asio/execution/sender.hpp"
-#include "asio/is_applicable_property.hpp"
-#include "asio/query.hpp"
-#include "asio/traits/query_free.hpp"
-#include "asio/traits/query_member.hpp"
-#include "asio/traits/query_static_constexpr_member.hpp"
-#include "asio/traits/static_query.hpp"
-#include "asio/traits/static_require.hpp"
-
-#include "asio/detail/push_options.hpp"
-
-namespace asio {
-
-#if defined(GENERATING_DOCUMENTATION)
-
-namespace execution {
-
-/// A property to communicate the forward progress and ordering guarantees of
-/// execution agents associated with the bulk execution.
-struct bulk_guarantee_t
-{
-  /// The bulk_guarantee_t property applies to executors, senders, and
-  /// schedulers.
-  template <typename T>
-  static constexpr bool is_applicable_property_v =
-    is_executor_v<T> || is_sender_v<T> || is_scheduler_v<T>;
-
-  /// The top-level bulk_guarantee_t property cannot be required.
-  static constexpr bool is_requirable = false;
-
-  /// The top-level bulk_guarantee_t property cannot be preferred.
-  static constexpr bool is_preferable = false;
-
-  /// The type returned by queries against an @c any_executor.
-  typedef bulk_guarantee_t polymorphic_query_result_type;
-
-  /// A sub-property that indicates that execution agents within the same bulk
-  /// execution may be parallelised and vectorised.
-  struct unsequenced_t
-  {
-    /// The bulk_guarantee_t::unsequenced_t property applies to executors,
-    /// senders, and schedulers.
-    template <typename T>
-    static constexpr bool is_applicable_property_v =
-      is_executor_v<T> || is_sender_v<T> || is_scheduler_v<T>;
-
-    /// The bulk_guarantee_t::unsequenced_t property can be required.
-    static constexpr bool is_requirable = true;
-
-    /// The bulk_guarantee_t::unsequenced_t property can be preferred.
-    static constexpr bool is_preferable = true;
-
-    /// The type returned by queries against an @c any_executor.
-    typedef bulk_guarantee_t polymorphic_query_result_type;
-
-    /// Default constructor.
-    constexpr unsequenced_t();
-
-    /// Get the value associated with a property object.
-    /**
-     * @returns unsequenced_t();
-     */
-    static constexpr bulk_guarantee_t value();
-  };
-
-  /// A sub-property that indicates that execution agents within the same bulk
-  /// execution may not be parallelised and vectorised.
-  struct sequenced_t
-  {
-    /// The bulk_guarantee_t::sequenced_t property applies to executors,
-    /// senders, and schedulers.
-    template <typename T>
-    static constexpr bool is_applicable_property_v =
-      is_executor_v<T> || is_sender_v<T> || is_scheduler_v<T>;
-
-    /// The bulk_guarantee_t::sequenced_t property can be required.
-    static constexpr bool is_requirable = true;
-
-    /// The bulk_guarantee_t::sequenced_t property can be preferred.
-    static constexpr bool is_preferable = true;
-
-    /// The type returned by queries against an @c any_executor.
-    typedef bulk_guarantee_t polymorphic_query_result_type;
-
-    /// Default constructor.
-    constexpr sequenced_t();
-
-    /// Get the value associated with a property object.
-    /**
-     * @returns sequenced_t();
-     */
-    static constexpr bulk_guarantee_t value();
-  };
-
-  /// A sub-property that indicates that execution agents within the same bulk
-  /// execution may be parallelised.
-  struct parallel_t
-  {
-    /// The bulk_guarantee_t::parallel_t property applies to executors,
-    /// senders, and schedulers.
-    template <typename T>
-    static constexpr bool is_applicable_property_v =
-      is_executor_v<T> || is_sender_v<T> || is_scheduler_v<T>;
-
-    /// The bulk_guarantee_t::parallel_t property can be required.
-    static constexpr bool is_requirable = true;
-
-    /// The bulk_guarantee_t::parallel_t property can be preferred.
-    static constexpr bool is_preferable = true;
-
-    /// The type returned by queries against an @c any_executor.
-    typedef bulk_guarantee_t polymorphic_query_result_type;
-
-    /// Default constructor.
-    constexpr parallel_t();
-
-    /// Get the value associated with a property object.
-    /**
-     * @returns parallel_t();
-     */
-    static constexpr bulk_guarantee_t value();
-  };
-
-  /// A special value used for accessing the bulk_guarantee_t::unsequenced_t
-  /// property.
-  static constexpr unsequenced_t unsequenced;
-
-  /// A special value used for accessing the bulk_guarantee_t::sequenced_t
-  /// property.
-  static constexpr sequenced_t sequenced;
-
-  /// A special value used for accessing the bulk_guarantee_t::parallel_t
-  /// property.
-  static constexpr parallel_t parallel;
-
-  /// Default constructor.
-  constexpr bulk_guarantee_t();
-
-  /// Construct from a sub-property value.
-  constexpr bulk_guarantee_t(unsequenced_t);
-
-  /// Construct from a sub-property value.
-  constexpr bulk_guarantee_t(sequenced_t);
-
-  /// Construct from a sub-property value.
-  constexpr bulk_guarantee_t(parallel_t);
-
-  /// Compare property values for equality.
-  friend constexpr bool operator==(
-      const bulk_guarantee_t& a, const bulk_guarantee_t& b) noexcept;
-
-  /// Compare property values for inequality.
-  friend constexpr bool operator!=(
-      const bulk_guarantee_t& a, const bulk_guarantee_t& b) noexcept;
-};
-
-/// A special value used for accessing the bulk_guarantee_t property.
-constexpr bulk_guarantee_t bulk_guarantee;
-
-} // namespace execution
-
-#else // defined(GENERATING_DOCUMENTATION)
-
-namespace execution {
-namespace detail {
-namespace bulk_guarantee {
-
-template <int I> struct unsequenced_t;
-template <int I> struct sequenced_t;
-template <int I> struct parallel_t;
-
-} // namespace bulk_guarantee
-
-template <int I = 0>
-struct bulk_guarantee_t
-{
-#if defined(ASIO_HAS_VARIABLE_TEMPLATES)
-  template <typename T>
-  ASIO_STATIC_CONSTEXPR(bool,
-    is_applicable_property_v = is_executor<T>::value
-      || is_sender<T>::value || is_scheduler<T>::value);
-#endif // defined(ASIO_HAS_VARIABLE_TEMPLATES)
-
-  ASIO_STATIC_CONSTEXPR(bool, is_requirable = false);
-  ASIO_STATIC_CONSTEXPR(bool, is_preferable = false);
-  typedef bulk_guarantee_t polymorphic_query_result_type;
-
-  typedef detail::bulk_guarantee::unsequenced_t<I> unsequenced_t;
-  typedef detail::bulk_guarantee::sequenced_t<I> sequenced_t;
-  typedef detail::bulk_guarantee::parallel_t<I> parallel_t;
-
-  ASIO_CONSTEXPR bulk_guarantee_t()
-    : value_(-1)
-  {
-  }
-
-  ASIO_CONSTEXPR bulk_guarantee_t(unsequenced_t)
-    : value_(0)
-  {
-  }
-
-  ASIO_CONSTEXPR bulk_guarantee_t(sequenced_t)
-    : value_(1)
-  {
-  }
-
-  ASIO_CONSTEXPR bulk_guarantee_t(parallel_t)
-    : value_(2)
-  {
-  }
-
-#if defined(ASIO_HAS_DEDUCED_STATIC_QUERY_TRAIT) \
-  && defined(ASIO_HAS_SFINAE_VARIABLE_TEMPLATES)
-  template <typename T>
-  static ASIO_CONSTEXPR
-  typename traits::query_static_constexpr_member<
-      T, bulk_guarantee_t>::result_type
-  static_query()
-    ASIO_NOEXCEPT_IF((
-      traits::query_static_constexpr_member<T, bulk_guarantee_t>::is_noexcept))
-  {
-    return traits::query_static_constexpr_member<T, bulk_guarantee_t>::value();
-  }
-
-  template <typename T>
-  static ASIO_CONSTEXPR
-  typename traits::static_query<T, unsequenced_t>::result_type
-  static_query(
-      typename enable_if<
-        !traits::query_static_constexpr_member<T, bulk_guarantee_t>::is_valid
-          && !traits::query_member<T, bulk_guarantee_t>::is_valid
-          && traits::static_query<T, unsequenced_t>::is_valid
-      >::type* = 0) ASIO_NOEXCEPT
-  {
-    return traits::static_query<T, unsequenced_t>::value();
-  }
-
-  template <typename T>
-  static ASIO_CONSTEXPR
-  typename traits::static_query<T, sequenced_t>::result_type
-  static_query(
-      typename enable_if<
-        !traits::query_static_constexpr_member<T, bulk_guarantee_t>::is_valid
-          && !traits::query_member<T, bulk_guarantee_t>::is_valid
-          && !traits::static_query<T, unsequenced_t>::is_valid
-          && traits::static_query<T, sequenced_t>::is_valid
-      >::type* = 0) ASIO_NOEXCEPT
-  {
-    return traits::static_query<T, sequenced_t>::value();
-  }
-
-  template <typename T>
-  static ASIO_CONSTEXPR
-  typename traits::static_query<T, parallel_t>::result_type
-  static_query(
-      typename enable_if<
-        !traits::query_static_constexpr_member<T, bulk_guarantee_t>::is_valid
-          && !traits::query_member<T, bulk_guarantee_t>::is_valid
-          && !traits::static_query<T, unsequenced_t>::is_valid
-          && !traits::static_query<T, sequenced_t>::is_valid
-          && traits::static_query<T, parallel_t>::is_valid
-      >::type* = 0) ASIO_NOEXCEPT
-  {
-    return traits::static_query<T, parallel_t>::value();
-  }
-
-  template <typename E,
-      typename T = decltype(bulk_guarantee_t::static_query<E>())>
-  static ASIO_CONSTEXPR const T static_query_v
-    = bulk_guarantee_t::static_query<E>();
-#endif // defined(ASIO_HAS_DEDUCED_STATIC_QUERY_TRAIT)
-       //   && defined(ASIO_HAS_SFINAE_VARIABLE_TEMPLATES)
-
-  friend ASIO_CONSTEXPR bool operator==(
-      const bulk_guarantee_t& a, const bulk_guarantee_t& b)
-  {
-    return a.value_ == b.value_;
-  }
-
-  friend ASIO_CONSTEXPR bool operator!=(
-      const bulk_guarantee_t& a, const bulk_guarantee_t& b)
-  {
-    return a.value_ != b.value_;
-  }
-
-  struct convertible_from_bulk_guarantee_t
-  {
-    ASIO_CONSTEXPR convertible_from_bulk_guarantee_t(bulk_guarantee_t) {}
-  };
-
-  template <typename Executor>
-  friend ASIO_CONSTEXPR bulk_guarantee_t query(
-      const Executor& ex, convertible_from_bulk_guarantee_t,
-      typename enable_if<
-        can_query<const Executor&, unsequenced_t>::value
-      >::type* = 0)
-#if !defined(__clang__) // Clang crashes if noexcept is used here.
-#if defined(ASIO_MSVC) // Visual C++ wants the type to be qualified.
-    ASIO_NOEXCEPT_IF((
-      is_nothrow_query<const Executor&,
-        bulk_guarantee_t<>::unsequenced_t>::value))
-#else // defined(ASIO_MSVC)
-    ASIO_NOEXCEPT_IF((
-      is_nothrow_query<const Executor&, unsequenced_t>::value))
-#endif // defined(ASIO_MSVC)
-#endif // !defined(__clang__)
-  {
-    return asio::query(ex, unsequenced_t());
-  }
-
-  template <typename Executor>
-  friend ASIO_CONSTEXPR bulk_guarantee_t query(
-      const Executor& ex, convertible_from_bulk_guarantee_t,
-      typename enable_if<
-        !can_query<const Executor&, unsequenced_t>::value
-          && can_query<const Executor&, sequenced_t>::value
-      >::type* = 0)
-#if !defined(__clang__) // Clang crashes if noexcept is used here.
-#if defined(ASIO_MSVC) // Visual C++ wants the type to be qualified.
-    ASIO_NOEXCEPT_IF((
-      is_nothrow_query<const Executor&,
-        bulk_guarantee_t<>::sequenced_t>::value))
-#else // defined(ASIO_MSVC)
-    ASIO_NOEXCEPT_IF((
-      is_nothrow_query<const Executor&, sequenced_t>::value))
-#endif // defined(ASIO_MSVC)
-#endif // !defined(__clang__)
-  {
-    return asio::query(ex, sequenced_t());
-  }
-
-  template <typename Executor>
-  friend ASIO_CONSTEXPR bulk_guarantee_t query(
-      const Executor& ex, convertible_from_bulk_guarantee_t,
-      typename enable_if<
-        !can_query<const Executor&, unsequenced_t>::value
-          && !can_query<const Executor&, sequenced_t>::value
-          && can_query<const Executor&, parallel_t>::value
-      >::type* = 0)
-#if !defined(__clang__) // Clang crashes if noexcept is used here.
-#if defined(ASIO_MSVC) // Visual C++ wants the type to be qualified.
-    ASIO_NOEXCEPT_IF((
-      is_nothrow_query<const Executor&, bulk_guarantee_t<>::parallel_t>::value))
-#else // defined(ASIO_MSVC)
-    ASIO_NOEXCEPT_IF((
-      is_nothrow_query<const Executor&, parallel_t>::value))
-#endif // defined(ASIO_MSVC)
-#endif // !defined(__clang__)
-  {
-    return asio::query(ex, parallel_t());
-  }
-
-  ASIO_STATIC_CONSTEXPR_DEFAULT_INIT(unsequenced_t, unsequenced);
-  ASIO_STATIC_CONSTEXPR_DEFAULT_INIT(sequenced_t, sequenced);
-  ASIO_STATIC_CONSTEXPR_DEFAULT_INIT(parallel_t, parallel);
-
-#if !defined(ASIO_HAS_CONSTEXPR)
-  static const bulk_guarantee_t instance;
-#endif // !defined(ASIO_HAS_CONSTEXPR)
-
-private:
-  int value_;
-};
-
-#if defined(ASIO_HAS_DEDUCED_STATIC_QUERY_TRAIT) \
-  && defined(ASIO_HAS_SFINAE_VARIABLE_TEMPLATES)
-template <int I> template <typename E, typename T>
-const T bulk_guarantee_t<I>::static_query_v;
-#endif // defined(ASIO_HAS_DEDUCED_STATIC_QUERY_TRAIT)
-       //   && defined(ASIO_HAS_SFINAE_VARIABLE_TEMPLATES)
-
-#if !defined(ASIO_HAS_CONSTEXPR)
-template <int I>
-const bulk_guarantee_t<I> bulk_guarantee_t<I>::instance;
-#endif
-
-template <int I>
-const typename bulk_guarantee_t<I>::unsequenced_t
-bulk_guarantee_t<I>::unsequenced;
-
-template <int I>
-const typename bulk_guarantee_t<I>::sequenced_t
-bulk_guarantee_t<I>::sequenced;
-
-template <int I>
-const typename bulk_guarantee_t<I>::parallel_t
-bulk_guarantee_t<I>::parallel;
-
-namespace bulk_guarantee {
-
-template <int I = 0>
-struct unsequenced_t
-{
-#if defined(ASIO_HAS_VARIABLE_TEMPLATES)
-  template <typename T>
-  ASIO_STATIC_CONSTEXPR(bool,
-    is_applicable_property_v = is_executor<T>::value
-      || is_sender<T>::value || is_scheduler<T>::value);
-#endif // defined(ASIO_HAS_VARIABLE_TEMPLATES)
-
-  ASIO_STATIC_CONSTEXPR(bool, is_requirable = true);
-  ASIO_STATIC_CONSTEXPR(bool, is_preferable = true);
-  typedef bulk_guarantee_t<I> polymorphic_query_result_type;
-
-  ASIO_CONSTEXPR unsequenced_t()
-  {
-  }
-
-#if defined(ASIO_HAS_DEDUCED_STATIC_QUERY_TRAIT) \
-  && defined(ASIO_HAS_SFINAE_VARIABLE_TEMPLATES)
-  template <typename T>
-  static ASIO_CONSTEXPR
-  typename traits::query_static_constexpr_member<T, unsequenced_t>::result_type
-  static_query()
-    ASIO_NOEXCEPT_IF((
-      traits::query_static_constexpr_member<T, unsequenced_t>::is_noexcept))
-  {
-    return traits::query_static_constexpr_member<T, unsequenced_t>::value();
-  }
-
-  template <typename T>
-  static ASIO_CONSTEXPR unsequenced_t static_query(
-      typename enable_if<
-        !traits::query_static_constexpr_member<T, unsequenced_t>::is_valid
-          && !traits::query_member<T, unsequenced_t>::is_valid
-          && !traits::query_free<T, unsequenced_t>::is_valid
-          && !can_query<T, sequenced_t<I> >::value
-          && !can_query<T, parallel_t<I> >::value
-      >::type* = 0) ASIO_NOEXCEPT
-  {
-    return unsequenced_t();
-  }
-
-  template <typename E, typename T = decltype(unsequenced_t::static_query<E>())>
-  static ASIO_CONSTEXPR const T static_query_v
-    = unsequenced_t::static_query<E>();
-#endif // defined(ASIO_HAS_DEDUCED_STATIC_QUERY_TRAIT)
-       //   && defined(ASIO_HAS_SFINAE_VARIABLE_TEMPLATES)
-
-  static ASIO_CONSTEXPR bulk_guarantee_t<I> value()
-  {
-    return unsequenced_t();
-  }
-
-  friend ASIO_CONSTEXPR bool operator==(
-      const unsequenced_t&, const unsequenced_t&)
-  {
-    return true;
-  }
-
-  friend ASIO_CONSTEXPR bool operator!=(
-      const unsequenced_t&, const unsequenced_t&)
-  {
-    return false;
-  }
-
-  friend ASIO_CONSTEXPR bool operator==(
-      const unsequenced_t&, const sequenced_t<I>&)
-  {
-    return false;
-  }
-
-  friend ASIO_CONSTEXPR bool operator!=(
-      const unsequenced_t&, const sequenced_t<I>&)
-  {
-    return true;
-  }
-
-  friend ASIO_CONSTEXPR bool operator==(
-      const unsequenced_t&, const parallel_t<I>&)
-  {
-    return false;
-  }
-
-  friend ASIO_CONSTEXPR bool operator!=(
-      const unsequenced_t&, const parallel_t<I>&)
-  {
-    return true;
-  }
-};
-
-#if defined(ASIO_HAS_DEDUCED_STATIC_QUERY_TRAIT) \
-  && defined(ASIO_HAS_SFINAE_VARIABLE_TEMPLATES)
-template <int I> template <typename E, typename T>
-const T unsequenced_t<I>::static_query_v;
-#endif // defined(ASIO_HAS_DEDUCED_STATIC_QUERY_TRAIT)
-       //   && defined(ASIO_HAS_SFINAE_VARIABLE_TEMPLATES)
-
-template <int I = 0>
-struct sequenced_t
-{
-#if defined(ASIO_HAS_VARIABLE_TEMPLATES)
-  template <typename T>
-  ASIO_STATIC_CONSTEXPR(bool,
-    is_applicable_property_v = is_executor<T>::value
-      || is_sender<T>::value || is_scheduler<T>::value);
-#endif // defined(ASIO_HAS_VARIABLE_TEMPLATES)
-
-  ASIO_STATIC_CONSTEXPR(bool, is_requirable = true);
-  ASIO_STATIC_CONSTEXPR(bool, is_preferable = true);
-  typedef bulk_guarantee_t<I> polymorphic_query_result_type;
-
-  ASIO_CONSTEXPR sequenced_t()
-  {
-  }
-
-#if defined(ASIO_HAS_DEDUCED_STATIC_QUERY_TRAIT) \
-  && defined(ASIO_HAS_SFINAE_VARIABLE_TEMPLATES)
-  template <typename T>
-  static ASIO_CONSTEXPR
-  typename traits::query_static_constexpr_member<T, sequenced_t>::result_type
-  static_query()
-    ASIO_NOEXCEPT_IF((
-      traits::query_static_constexpr_member<T, sequenced_t>::is_noexcept))
-  {
-    return traits::query_static_constexpr_member<T, sequenced_t>::value();
-  }
-
-  template <typename E, typename T = decltype(sequenced_t::static_query<E>())>
-  static ASIO_CONSTEXPR const T static_query_v
-    = sequenced_t::static_query<E>();
-#endif // defined(ASIO_HAS_DEDUCED_STATIC_QUERY_TRAIT)
-       //   && defined(ASIO_HAS_SFINAE_VARIABLE_TEMPLATES)
-
-  static ASIO_CONSTEXPR bulk_guarantee_t<I> value()
-  {
-    return sequenced_t();
-  }
-
-  friend ASIO_CONSTEXPR bool operator==(
-      const sequenced_t&, const sequenced_t&)
-  {
-    return true;
-  }
-
-  friend ASIO_CONSTEXPR bool operator!=(
-      const sequenced_t&, const sequenced_t&)
-  {
-    return false;
-  }
-
-  friend ASIO_CONSTEXPR bool operator==(
-      const sequenced_t&, const unsequenced_t<I>&)
-  {
-    return false;
-  }
-
-  friend ASIO_CONSTEXPR bool operator!=(
-      const sequenced_t&, const unsequenced_t<I>&)
-  {
-    return true;
-  }
-
-  friend ASIO_CONSTEXPR bool operator==(
-      const sequenced_t&, const parallel_t<I>&)
-  {
-    return false;
-  }
-
-  friend ASIO_CONSTEXPR bool operator!=(
-      const sequenced_t&, const parallel_t<I>&)
-  {
-    return true;
-  }
-};
-
-#if defined(ASIO_HAS_DEDUCED_STATIC_QUERY_TRAIT) \
-  && defined(ASIO_HAS_SFINAE_VARIABLE_TEMPLATES)
-template <int I> template <typename E, typename T>
-const T sequenced_t<I>::static_query_v;
-#endif // defined(ASIO_HAS_DEDUCED_STATIC_QUERY_TRAIT)
-       //   && defined(ASIO_HAS_SFINAE_VARIABLE_TEMPLATES)
-
-template <int I>
-struct parallel_t
-{
-#if defined(ASIO_HAS_VARIABLE_TEMPLATES)
-  template <typename T>
-  ASIO_STATIC_CONSTEXPR(bool,
-    is_applicable_property_v = is_executor<T>::value
-      || is_sender<T>::value || is_scheduler<T>::value);
-#endif // defined(ASIO_HAS_VARIABLE_TEMPLATES)
-
-  ASIO_STATIC_CONSTEXPR(bool, is_requirable = true);
-  ASIO_STATIC_CONSTEXPR(bool, is_preferable = true);
-  typedef bulk_guarantee_t<I> polymorphic_query_result_type;
-
-  ASIO_CONSTEXPR parallel_t()
-  {
-  }
-
-#if defined(ASIO_HAS_DEDUCED_STATIC_QUERY_TRAIT) \
-  && defined(ASIO_HAS_SFINAE_VARIABLE_TEMPLATES)
-  template <typename T>
-  static ASIO_CONSTEXPR
-  typename traits::query_static_constexpr_member<T, parallel_t>::result_type
-  static_query()
-    ASIO_NOEXCEPT_IF((
-      traits::query_static_constexpr_member<T, parallel_t>::is_noexcept))
-  {
-    return traits::query_static_constexpr_member<T, parallel_t>::value();
-  }
-
-  template <typename E, typename T = decltype(parallel_t::static_query<E>())>
-  static ASIO_CONSTEXPR const T static_query_v
-    = parallel_t::static_query<E>();
-#endif // defined(ASIO_HAS_DEDUCED_STATIC_QUERY_TRAIT)
-       //   && defined(ASIO_HAS_SFINAE_VARIABLE_TEMPLATES)
-
-  static ASIO_CONSTEXPR bulk_guarantee_t<I> value()
-  {
-    return parallel_t();
-  }
-
-  friend ASIO_CONSTEXPR bool operator==(
-      const parallel_t&, const parallel_t&)
-  {
-    return true;
-  }
-
-  friend ASIO_CONSTEXPR bool operator!=(
-      const parallel_t&, const parallel_t&)
-  {
-    return false;
-  }
-
-  friend ASIO_CONSTEXPR bool operator==(
-      const parallel_t&, const unsequenced_t<I>&)
-  {
-    return false;
-  }
-
-  friend ASIO_CONSTEXPR bool operator!=(
-      const parallel_t&, const unsequenced_t<I>&)
-  {
-    return true;
-  }
-
-  friend ASIO_CONSTEXPR bool operator==(
-      const parallel_t&, const sequenced_t<I>&)
-  {
-    return false;
-  }
-
-  friend ASIO_CONSTEXPR bool operator!=(
-      const parallel_t&, const sequenced_t<I>&)
-  {
-    return true;
-  }
-};
-
-#if defined(ASIO_HAS_DEDUCED_STATIC_QUERY_TRAIT) \
-  && defined(ASIO_HAS_SFINAE_VARIABLE_TEMPLATES)
-template <int I> template <typename E, typename T>
-const T parallel_t<I>::static_query_v;
-#endif // defined(ASIO_HAS_DEDUCED_STATIC_QUERY_TRAIT)
-       //   && defined(ASIO_HAS_SFINAE_VARIABLE_TEMPLATES)
-
-} // namespace bulk_guarantee
-} // namespace detail
-
-typedef detail::bulk_guarantee_t<> bulk_guarantee_t;
-
-#if defined(ASIO_HAS_CONSTEXPR) || defined(GENERATING_DOCUMENTATION)
-constexpr bulk_guarantee_t bulk_guarantee;
-#else // defined(ASIO_HAS_CONSTEXPR) || defined(GENERATING_DOCUMENTATION)
-namespace { static const bulk_guarantee_t&
-  bulk_guarantee = bulk_guarantee_t::instance; }
-#endif
-
-} // namespace execution
-
-#if !defined(ASIO_HAS_VARIABLE_TEMPLATES)
-
-template <typename T>
-struct is_applicable_property<T, execution::bulk_guarantee_t>
-  : integral_constant<bool,
-      execution::is_executor<T>::value
-        || execution::is_sender<T>::value
-        || execution::is_scheduler<T>::value>
-{
-};
-
-template <typename T>
-struct is_applicable_property<T, execution::bulk_guarantee_t::unsequenced_t>
-  : integral_constant<bool,
-      execution::is_executor<T>::value
-        || execution::is_sender<T>::value
-        || execution::is_scheduler<T>::value>
-{
-};
-
-template <typename T>
-struct is_applicable_property<T, execution::bulk_guarantee_t::sequenced_t>
-  : integral_constant<bool,
-      execution::is_executor<T>::value
-        || execution::is_sender<T>::value
-        || execution::is_scheduler<T>::value>
-{
-};
-
-template <typename T>
-struct is_applicable_property<T, execution::bulk_guarantee_t::parallel_t>
-  : integral_constant<bool,
-      execution::is_executor<T>::value
-        || execution::is_sender<T>::value
-        || execution::is_scheduler<T>::value>
-{
-};
-
-#endif // !defined(ASIO_HAS_VARIABLE_TEMPLATES)
-
-namespace traits {
-
-#if !defined(ASIO_HAS_DEDUCED_QUERY_FREE_TRAIT)
-
-template <typename T>
-struct query_free_default<T, execution::bulk_guarantee_t,
-  typename enable_if<
-    can_query<T, execution::bulk_guarantee_t::unsequenced_t>::value
-  >::type>
-{
-  ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
-  ASIO_STATIC_CONSTEXPR(bool, is_noexcept =
-    (is_nothrow_query<T, execution::bulk_guarantee_t::unsequenced_t>::value));
-
-  typedef execution::bulk_guarantee_t result_type;
-};
-
-template <typename T>
-struct query_free_default<T, execution::bulk_guarantee_t,
-  typename enable_if<
-    !can_query<T, execution::bulk_guarantee_t::unsequenced_t>::value
-      && can_query<T, execution::bulk_guarantee_t::sequenced_t>::value
-  >::type>
-{
-  ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
-  ASIO_STATIC_CONSTEXPR(bool, is_noexcept =
-    (is_nothrow_query<T, execution::bulk_guarantee_t::sequenced_t>::value));
-
-  typedef execution::bulk_guarantee_t result_type;
-};
-
-template <typename T>
-struct query_free_default<T, execution::bulk_guarantee_t,
-  typename enable_if<
-    !can_query<T, execution::bulk_guarantee_t::unsequenced_t>::value
-      && !can_query<T, execution::bulk_guarantee_t::sequenced_t>::value
-      && can_query<T, execution::bulk_guarantee_t::parallel_t>::value
-  >::type>
-{
-  ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
-  ASIO_STATIC_CONSTEXPR(bool, is_noexcept =
-    (is_nothrow_query<T, execution::bulk_guarantee_t::parallel_t>::value));
-
-  typedef execution::bulk_guarantee_t result_type;
-};
-
-#endif // !defined(ASIO_HAS_DEDUCED_QUERY_FREE_TRAIT)
-
-#if !defined(ASIO_HAS_DEDUCED_STATIC_QUERY_TRAIT) \
-  || !defined(ASIO_HAS_SFINAE_VARIABLE_TEMPLATES)
-
-template <typename T>
-struct static_query<T, execution::bulk_guarantee_t,
-  typename enable_if<
-    traits::query_static_constexpr_member<T,
-      execution::bulk_guarantee_t>::is_valid
-  >::type>
-{
-  ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
-  ASIO_STATIC_CONSTEXPR(bool, is_noexcept = true);
-
-  typedef typename traits::query_static_constexpr_member<T,
-    execution::bulk_guarantee_t>::result_type result_type;
-
-  static ASIO_CONSTEXPR result_type value()
-  {
-    return traits::query_static_constexpr_member<T,
-      execution::bulk_guarantee_t>::value();
-  }
-};
-
-template <typename T>
-struct static_query<T, execution::bulk_guarantee_t,
-  typename enable_if<
-    !traits::query_static_constexpr_member<T,
-        execution::bulk_guarantee_t>::is_valid
-      && !traits::query_member<T,
-        execution::bulk_guarantee_t>::is_valid
-      && traits::static_query<T,
-        execution::bulk_guarantee_t::unsequenced_t>::is_valid
-  >::type>
-{
-  ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
-  ASIO_STATIC_CONSTEXPR(bool, is_noexcept = true);
-
-  typedef typename traits::static_query<T,
-    execution::bulk_guarantee_t::unsequenced_t>::result_type result_type;
-
-  static ASIO_CONSTEXPR result_type value()
-  {
-    return traits::static_query<T,
-        execution::bulk_guarantee_t::unsequenced_t>::value();
-  }
-};
-
-template <typename T>
-struct static_query<T, execution::bulk_guarantee_t,
-  typename enable_if<
-    !traits::query_static_constexpr_member<T,
-        execution::bulk_guarantee_t>::is_valid
-      && !traits::query_member<T,
-        execution::bulk_guarantee_t>::is_valid
-      && !traits::static_query<T,
-        execution::bulk_guarantee_t::unsequenced_t>::is_valid
-      && traits::static_query<T,
-        execution::bulk_guarantee_t::sequenced_t>::is_valid
-  >::type>
-{
-  ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
-  ASIO_STATIC_CONSTEXPR(bool, is_noexcept = true);
-
-  typedef typename traits::static_query<T,
-    execution::bulk_guarantee_t::sequenced_t>::result_type result_type;
-
-  static ASIO_CONSTEXPR result_type value()
-  {
-    return traits::static_query<T,
-        execution::bulk_guarantee_t::sequenced_t>::value();
-  }
-};
-
-template <typename T>
-struct static_query<T, execution::bulk_guarantee_t,
-  typename enable_if<
-    !traits::query_static_constexpr_member<T,
-        execution::bulk_guarantee_t>::is_valid
-      && !traits::query_member<T,
-        execution::bulk_guarantee_t>::is_valid
-      && !traits::static_query<T,
-        execution::bulk_guarantee_t::unsequenced_t>::is_valid
-      && !traits::static_query<T,
-        execution::bulk_guarantee_t::sequenced_t>::is_valid
-      && traits::static_query<T,
-        execution::bulk_guarantee_t::parallel_t>::is_valid
-  >::type>
-{
-  ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
-  ASIO_STATIC_CONSTEXPR(bool, is_noexcept = true);
-
-  typedef typename traits::static_query<T,
-    execution::bulk_guarantee_t::parallel_t>::result_type result_type;
-
-  static ASIO_CONSTEXPR result_type value()
-  {
-    return traits::static_query<T,
-        execution::bulk_guarantee_t::parallel_t>::value();
-  }
-};
-
-template <typename T>
-struct static_query<T, execution::bulk_guarantee_t::unsequenced_t,
-  typename enable_if<
-    traits::query_static_constexpr_member<T,
-      execution::bulk_guarantee_t::unsequenced_t>::is_valid
-  >::type>
-{
-  ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
-  ASIO_STATIC_CONSTEXPR(bool, is_noexcept = true);
-
-  typedef typename traits::query_static_constexpr_member<T,
-    execution::bulk_guarantee_t::unsequenced_t>::result_type result_type;
-
-  static ASIO_CONSTEXPR result_type value()
-  {
-    return traits::query_static_constexpr_member<T,
-      execution::bulk_guarantee_t::unsequenced_t>::value();
-  }
-};
-
-template <typename T>
-struct static_query<T, execution::bulk_guarantee_t::unsequenced_t,
-  typename enable_if<
-    !traits::query_static_constexpr_member<T,
-      execution::bulk_guarantee_t::unsequenced_t>::is_valid
-      && !traits::query_member<T,
-        execution::bulk_guarantee_t::unsequenced_t>::is_valid
-      && !traits::query_free<T,
-        execution::bulk_guarantee_t::unsequenced_t>::is_valid
-      && !can_query<T, execution::bulk_guarantee_t::sequenced_t>::value
-      && !can_query<T, execution::bulk_guarantee_t::parallel_t>::value
-  >::type>
-{
-  ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
-  ASIO_STATIC_CONSTEXPR(bool, is_noexcept = true);
-
-  typedef execution::bulk_guarantee_t::unsequenced_t result_type;
-
-  static ASIO_CONSTEXPR result_type value()
-  {
-    return result_type();
-  }
-};
-
-template <typename T>
-struct static_query<T, execution::bulk_guarantee_t::sequenced_t,
-  typename enable_if<
-    traits::query_static_constexpr_member<T,
-      execution::bulk_guarantee_t::sequenced_t>::is_valid
-  >::type>
-{
-  ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
-  ASIO_STATIC_CONSTEXPR(bool, is_noexcept = true);
-
-  typedef typename traits::query_static_constexpr_member<T,
-    execution::bulk_guarantee_t::sequenced_t>::result_type result_type;
-
-  static ASIO_CONSTEXPR result_type value()
-  {
-    return traits::query_static_constexpr_member<T,
-      execution::bulk_guarantee_t::sequenced_t>::value();
-  }
-};
-
-template <typename T>
-struct static_query<T, execution::bulk_guarantee_t::parallel_t,
-  typename enable_if<
-    traits::query_static_constexpr_member<T,
-      execution::bulk_guarantee_t::parallel_t>::is_valid
-  >::type>
-{
-  ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
-  ASIO_STATIC_CONSTEXPR(bool, is_noexcept = true);
-
-  typedef typename traits::query_static_constexpr_member<T,
-    execution::bulk_guarantee_t::parallel_t>::result_type result_type;
-
-  static ASIO_CONSTEXPR result_type value()
-  {
-    return traits::query_static_constexpr_member<T,
-      execution::bulk_guarantee_t::parallel_t>::value();
-  }
-};
-
-#endif // !defined(ASIO_HAS_DEDUCED_STATIC_QUERY_TRAIT)
-       //   || !defined(ASIO_HAS_SFINAE_VARIABLE_TEMPLATES)
-
-#if !defined(ASIO_HAS_DEDUCED_STATIC_REQUIRE_TRAIT)
-
-template <typename T>
-struct static_require<T, execution::bulk_guarantee_t::unsequenced_t,
-  typename enable_if<
-    static_query<T, execution::bulk_guarantee_t::unsequenced_t>::is_valid
-  >::type>
-{
-  ASIO_STATIC_CONSTEXPR(bool, is_valid =
-    (is_same<typename static_query<T,
-      execution::bulk_guarantee_t::unsequenced_t>::result_type,
-        execution::bulk_guarantee_t::unsequenced_t>::value));
-};
-
-template <typename T>
-struct static_require<T, execution::bulk_guarantee_t::sequenced_t,
-  typename enable_if<
-    static_query<T, execution::bulk_guarantee_t::sequenced_t>::is_valid
-  >::type>
-{
-  ASIO_STATIC_CONSTEXPR(bool, is_valid =
-    (is_same<typename static_query<T,
-      execution::bulk_guarantee_t::sequenced_t>::result_type,
-        execution::bulk_guarantee_t::sequenced_t>::value));
-};
-
-template <typename T>
-struct static_require<T, execution::bulk_guarantee_t::parallel_t,
-  typename enable_if<
-    static_query<T, execution::bulk_guarantee_t::parallel_t>::is_valid
-  >::type>
-{
-  ASIO_STATIC_CONSTEXPR(bool, is_valid =
-    (is_same<typename static_query<T,
-      execution::bulk_guarantee_t::parallel_t>::result_type,
-        execution::bulk_guarantee_t::parallel_t>::value));
-};
-
-#endif // !defined(ASIO_HAS_DEDUCED_STATIC_REQUIRE_TRAIT)
-
-} // namespace traits
-
-#endif // defined(GENERATING_DOCUMENTATION)
-
-} // namespace asio
-
-#include "asio/detail/pop_options.hpp"
-
-#endif // ASIO_EXECUTION_BULK_GUARANTEE_HPP