couchbase 3.0.0-universal-darwin-19 → 3.0.1-universal-darwin-19

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

@@ -0,0 +1,390 @@
+//
+// 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

@@ -0,0 +1,1018 @@
+//
+// 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