passenger 6.0.19 → 6.0.21

data/src/cxx_supportlib/vendor-modified/boost/asio/execution/outstanding_work.hpp

@@ -2,7 +2,7 @@
 // execution/outstanding_work.hpp
 // ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 //
-// Copyright (c) 2003-2022 Christopher M. Kohlhoff (chris at kohlhoff dot com)
+// Copyright (c) 2003-2024 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)
@@ -18,8 +18,6 @@
 #include <boost/asio/detail/config.hpp>
 #include <boost/asio/detail/type_traits.hpp>
 #include <boost/asio/execution/executor.hpp>
-#include <boost/asio/execution/scheduler.hpp>
-#include <boost/asio/execution/sender.hpp>
 #include <boost/asio/is_applicable_property.hpp>
 #include <boost/asio/query.hpp>
 #include <boost/asio/traits/query_free.hpp>
@@ -40,11 +38,9 @@ namespace execution {
 /// A property to describe whether task submission is likely in the future.
 struct outstanding_work_t
 {
-  /// The outstanding_work_t property applies to executors, senders, and
-  /// schedulers.
+  /// The outstanding_work_t property applies to executors.
   template <typename T>
-  static constexpr bool is_applicable_property_v =
-    is_executor_v<T> || is_sender_v<T> || is_scheduler_v<T>;
+  static constexpr bool is_applicable_property_v = is_executor_v<T>;
 
   /// The top-level outstanding_work_t property cannot be required.
   static constexpr bool is_requirable = false;
@@ -59,11 +55,9 @@ struct outstanding_work_t
   /// future submission of a function object.
   struct untracked_t
   {
-    /// The outstanding_work_t::untracked_t property applies to executors,
-    /// senders, and schedulers.
+    /// The outstanding_work_t::untracked_t property applies to executors.
     template <typename T>
-    static constexpr bool is_applicable_property_v =
-      is_executor_v<T> || is_sender_v<T> || is_scheduler_v<T>;
+    static constexpr bool is_applicable_property_v = is_executor_v<T>;
 
     /// The outstanding_work_t::untracked_t property can be required.
     static constexpr bool is_requirable = true;
@@ -88,11 +82,9 @@ struct outstanding_work_t
   /// future submission of a function object.
   struct tracked_t
   {
-    /// The outstanding_work_t::untracked_t property applies to executors,
-    /// senders, and schedulers.
+    /// The outstanding_work_t::untracked_t property applies to executors.
     template <typename T>
-    static constexpr bool is_applicable_property_v =
-      is_executor_v<T> || is_sender_v<T> || is_scheduler_v<T>;
+    static constexpr bool is_applicable_property_v = is_executor_v<T>;
 
     /// The outstanding_work_t::tracked_t property can be required.
     static constexpr bool is_requirable = true;
@@ -159,48 +151,28 @@ template <int I = 0>
 struct outstanding_work_t
 {
 #if defined(BOOST_ASIO_HAS_VARIABLE_TEMPLATES)
-# if defined(BOOST_ASIO_NO_DEPRECATED)
   template <typename T>
-  BOOST_ASIO_STATIC_CONSTEXPR(bool,
-    is_applicable_property_v = (
-      is_executor<T>::value));
-# else // defined(BOOST_ASIO_NO_DEPRECATED)
-  template <typename T>
-  BOOST_ASIO_STATIC_CONSTEXPR(bool,
-    is_applicable_property_v = (
-      is_executor<T>::value
-        || conditional<
-            is_executor<T>::value,
-            false_type,
-            is_sender<T>
-          >::type::value
-        || conditional<
-            is_executor<T>::value,
-            false_type,
-            is_scheduler<T>
-          >::type::value
-      ));
-# endif // defined(BOOST_ASIO_NO_DEPRECATED)
+  static constexpr bool is_applicable_property_v = is_executor<T>::value;
 #endif // defined(BOOST_ASIO_HAS_VARIABLE_TEMPLATES)
 
-  BOOST_ASIO_STATIC_CONSTEXPR(bool, is_requirable = false);
-  BOOST_ASIO_STATIC_CONSTEXPR(bool, is_preferable = false);
+  static constexpr bool is_requirable = false;
+  static constexpr bool is_preferable = false;
   typedef outstanding_work_t polymorphic_query_result_type;
 
   typedef detail::outstanding_work::untracked_t<I> untracked_t;
   typedef detail::outstanding_work::tracked_t<I> tracked_t;
 
-  BOOST_ASIO_CONSTEXPR outstanding_work_t()
+  constexpr outstanding_work_t()
     : value_(-1)
   {
   }
 
-  BOOST_ASIO_CONSTEXPR outstanding_work_t(untracked_t)
+  constexpr outstanding_work_t(untracked_t)
     : value_(0)
   {
   }
 
-  BOOST_ASIO_CONSTEXPR outstanding_work_t(tracked_t)
+  constexpr outstanding_work_t(tracked_t)
     : value_(1)
   {
   }
@@ -212,16 +184,14 @@ struct outstanding_work_t
     struct type
     {
       template <typename P>
-      auto query(BOOST_ASIO_MOVE_ARG(P) p) const
+      auto query(P&& p) const
         noexcept(
           noexcept(
-            declval<typename conditional<true, T, P>::type>().query(
-              BOOST_ASIO_MOVE_CAST(P)(p))
+            declval<conditional_t<true, T, P>>().query(static_cast<P&&>(p))
           )
         )
         -> decltype(
-          declval<typename conditional<true, T, P>::type>().query(
-            BOOST_ASIO_MOVE_CAST(P)(p))
+          declval<conditional_t<true, T, P>>().query(static_cast<P&&>(p))
         );
     };
 #else // defined(BOOST_ASIO_HAS_DEDUCED_QUERY_MEMBER_TRAIT)
@@ -236,17 +206,17 @@ struct outstanding_work_t
     struct type
     {
       template <typename P>
-      static constexpr auto query(BOOST_ASIO_MOVE_ARG(P) p)
+      static constexpr auto query(P&& p)
         noexcept(
           noexcept(
-            conditional<true, T, P>::type::query(BOOST_ASIO_MOVE_CAST(P)(p))
+            conditional_t<true, T, P>::query(static_cast<P&&>(p))
           )
         )
         -> decltype(
-          conditional<true, T, P>::type::query(BOOST_ASIO_MOVE_CAST(P)(p))
+          conditional_t<true, T, P>::query(static_cast<P&&>(p))
         )
       {
-        return T::query(BOOST_ASIO_MOVE_CAST(P)(p));
+        return T::query(static_cast<P&&>(p));
       }
     };
 #else // defined(BOOST_ASIO_HAS_DEDUCED_QUERY_STATIC_CONSTEXPR_MEMBER_TRAIT)
@@ -266,66 +236,65 @@ struct outstanding_work_t
 #if defined(BOOST_ASIO_HAS_DEDUCED_STATIC_QUERY_TRAIT) \
   && defined(BOOST_ASIO_HAS_SFINAE_VARIABLE_TEMPLATES)
   template <typename T>
-  static BOOST_ASIO_CONSTEXPR
+  static constexpr
   typename query_static_constexpr_member<T>::result_type
   static_query()
-    BOOST_ASIO_NOEXCEPT_IF((
-      query_static_constexpr_member<T>::is_noexcept))
+    noexcept(query_static_constexpr_member<T>::is_noexcept)
   {
     return query_static_constexpr_member<T>::value();
   }
 
   template <typename T>
-  static BOOST_ASIO_CONSTEXPR
+  static constexpr
   typename traits::static_query<T, untracked_t>::result_type
   static_query(
-      typename enable_if<
+      enable_if_t<
         !query_static_constexpr_member<T>::is_valid
-      >::type* = 0,
-      typename enable_if<
+      >* = 0,
+      enable_if_t<
         !query_member<T>::is_valid
-      >::type* = 0,
-      typename enable_if<
+      >* = 0,
+      enable_if_t<
         traits::static_query<T, untracked_t>::is_valid
-      >::type* = 0) BOOST_ASIO_NOEXCEPT
+      >* = 0) noexcept
   {
     return traits::static_query<T, untracked_t>::value();
   }
 
   template <typename T>
-  static BOOST_ASIO_CONSTEXPR
+  static constexpr
   typename traits::static_query<T, tracked_t>::result_type
   static_query(
-      typename enable_if<
+      enable_if_t<
         !query_static_constexpr_member<T>::is_valid
-      >::type* = 0,
-      typename enable_if<
+      >* = 0,
+      enable_if_t<
         !query_member<T>::is_valid
-      >::type* = 0,
-      typename enable_if<
+      >* = 0,
+      enable_if_t<
         !traits::static_query<T, untracked_t>::is_valid
-      >::type* = 0,
-      typename enable_if<
+      >* = 0,
+      enable_if_t<
         traits::static_query<T, tracked_t>::is_valid
-      >::type* = 0) BOOST_ASIO_NOEXCEPT
+      >* = 0) noexcept
   {
     return traits::static_query<T, tracked_t>::value();
   }
 
   template <typename E,
       typename T = decltype(outstanding_work_t::static_query<E>())>
-  static BOOST_ASIO_CONSTEXPR const T static_query_v
+  static constexpr const T static_query_v
     = outstanding_work_t::static_query<E>();
 #endif // defined(BOOST_ASIO_HAS_DEDUCED_STATIC_QUERY_TRAIT)
        //   && defined(BOOST_ASIO_HAS_SFINAE_VARIABLE_TEMPLATES)
 
-  friend BOOST_ASIO_CONSTEXPR bool operator==(
+  friend constexpr bool operator==(
       const outstanding_work_t& a, const outstanding_work_t& b)
   {
     return a.value_ == b.value_;
   }
 
-  friend BOOST_ASIO_CONSTEXPR bool operator!=(
+  friend constexpr bool operator!=(
       const outstanding_work_t& a, const outstanding_work_t& b)
   {
     return a.value_ != b.value_;
@@ -333,25 +302,23 @@ struct outstanding_work_t
 
   struct convertible_from_outstanding_work_t
   {
-    BOOST_ASIO_CONSTEXPR convertible_from_outstanding_work_t(outstanding_work_t)
+    constexpr convertible_from_outstanding_work_t(outstanding_work_t)
     {
     }
   };
 
   template <typename Executor>
-  friend BOOST_ASIO_CONSTEXPR outstanding_work_t query(
+  friend constexpr outstanding_work_t query(
       const Executor& ex, convertible_from_outstanding_work_t,
-      typename enable_if<
+      enable_if_t<
         can_query<const Executor&, untracked_t>::value
-      >::type* = 0)
+      >* = 0)
 #if !defined(__clang__) // Clang crashes if noexcept is used here.
 #if defined(BOOST_ASIO_MSVC) // Visual C++ wants the type to be qualified.
-    BOOST_ASIO_NOEXCEPT_IF((
-      is_nothrow_query<const Executor&,
-        outstanding_work_t<>::untracked_t>::value))
+    noexcept(is_nothrow_query<const Executor&,
+        outstanding_work_t<>::untracked_t>::value)
 #else // defined(BOOST_ASIO_MSVC)
-    BOOST_ASIO_NOEXCEPT_IF((
-      is_nothrow_query<const Executor&, untracked_t>::value))
+    noexcept(is_nothrow_query<const Executor&, untracked_t>::value)
 #endif // defined(BOOST_ASIO_MSVC)
 #endif // !defined(__clang__)
   {
@@ -359,22 +326,20 @@ struct outstanding_work_t
   }
 
   template <typename Executor>
-  friend BOOST_ASIO_CONSTEXPR outstanding_work_t query(
+  friend constexpr outstanding_work_t query(
       const Executor& ex, convertible_from_outstanding_work_t,
-      typename enable_if<
+      enable_if_t<
         !can_query<const Executor&, untracked_t>::value
-      >::type* = 0,
-      typename enable_if<
+      >* = 0,
+      enable_if_t<
         can_query<const Executor&, tracked_t>::value
-      >::type* = 0)
+      >* = 0)
 #if !defined(__clang__) // Clang crashes if noexcept is used here.
 #if defined(BOOST_ASIO_MSVC) // Visual C++ wants the type to be qualified.
-    BOOST_ASIO_NOEXCEPT_IF((
-      is_nothrow_query<const Executor&,
-        outstanding_work_t<>::tracked_t>::value))
+    noexcept(is_nothrow_query<const Executor&,
+        outstanding_work_t<>::tracked_t>::value)
 #else // defined(BOOST_ASIO_MSVC)
-    BOOST_ASIO_NOEXCEPT_IF((
-      is_nothrow_query<const Executor&, tracked_t>::value))
+    noexcept(is_nothrow_query<const Executor&, tracked_t>::value)
 #endif // defined(BOOST_ASIO_MSVC)
 #endif // !defined(__clang__)
   {
@@ -384,10 +349,6 @@ struct outstanding_work_t
   BOOST_ASIO_STATIC_CONSTEXPR_DEFAULT_INIT(untracked_t, untracked);
   BOOST_ASIO_STATIC_CONSTEXPR_DEFAULT_INIT(tracked_t, tracked);
 
-#if !defined(BOOST_ASIO_HAS_CONSTEXPR)
-  static const outstanding_work_t instance;
-#endif // !defined(BOOST_ASIO_HAS_CONSTEXPR)
-
 private:
   int value_;
 };
@@ -399,11 +360,6 @@ const T outstanding_work_t<I>::static_query_v;
 #endif // defined(BOOST_ASIO_HAS_DEDUCED_STATIC_QUERY_TRAIT)
        //   && defined(BOOST_ASIO_HAS_SFINAE_VARIABLE_TEMPLATES)
 
-#if !defined(BOOST_ASIO_HAS_CONSTEXPR)
-template <int I>
-const outstanding_work_t<I> outstanding_work_t<I>::instance;
-#endif
-
 template <int I>
 const typename outstanding_work_t<I>::untracked_t
 outstanding_work_t<I>::untracked;
@@ -418,35 +374,15 @@ template <int I = 0>
 struct untracked_t
 {
 #if defined(BOOST_ASIO_HAS_VARIABLE_TEMPLATES)
-# if defined(BOOST_ASIO_NO_DEPRECATED)
-  template <typename T>
-  BOOST_ASIO_STATIC_CONSTEXPR(bool,
-    is_applicable_property_v = (
-      is_executor<T>::value));
-# else // defined(BOOST_ASIO_NO_DEPRECATED)
   template <typename T>
-  BOOST_ASIO_STATIC_CONSTEXPR(bool,
-    is_applicable_property_v = (
-      is_executor<T>::value
-        || conditional<
-            is_executor<T>::value,
-            false_type,
-            is_sender<T>
-          >::type::value
-        || conditional<
-            is_executor<T>::value,
-            false_type,
-            is_scheduler<T>
-          >::type::value
-      ));
-# endif // defined(BOOST_ASIO_NO_DEPRECATED)
+  static constexpr bool is_applicable_property_v = is_executor<T>::value;
 #endif // defined(BOOST_ASIO_HAS_VARIABLE_TEMPLATES)
 
-  BOOST_ASIO_STATIC_CONSTEXPR(bool, is_requirable = true);
-  BOOST_ASIO_STATIC_CONSTEXPR(bool, is_preferable = true);
+  static constexpr bool is_requirable = true;
+  static constexpr bool is_preferable = true;
   typedef outstanding_work_t<I> polymorphic_query_result_type;
 
-  BOOST_ASIO_CONSTEXPR untracked_t()
+  constexpr untracked_t()
   {
   }
 
@@ -464,55 +400,61 @@ struct untracked_t
 #if defined(BOOST_ASIO_HAS_DEDUCED_STATIC_QUERY_TRAIT) \
   && defined(BOOST_ASIO_HAS_SFINAE_VARIABLE_TEMPLATES)
   template <typename T>
-  static BOOST_ASIO_CONSTEXPR
+  static constexpr
   typename query_static_constexpr_member<T>::result_type
   static_query()
-    BOOST_ASIO_NOEXCEPT_IF((
-      query_static_constexpr_member<T>::is_noexcept))
+    noexcept(query_static_constexpr_member<T>::is_noexcept)
   {
     return query_static_constexpr_member<T>::value();
   }
 
   template <typename T>
-  static BOOST_ASIO_CONSTEXPR untracked_t static_query(
-      typename enable_if<
+  static constexpr untracked_t static_query(
+      enable_if_t<
         !query_static_constexpr_member<T>::is_valid
-      >::type* = 0,
-      typename enable_if<
+      >* = 0,
+      enable_if_t<
         !query_member<T>::is_valid
-      >::type* = 0,
-      typename enable_if<
+      >* = 0,
+      enable_if_t<
         !traits::query_free<T, untracked_t>::is_valid
-      >::type* = 0,
-      typename enable_if<
-        !can_query<T, tracked_t<I> >::value
-      >::type* = 0) BOOST_ASIO_NOEXCEPT
+      >* = 0,
+      enable_if_t<
+        !can_query<T, tracked_t<I>>::value
+      >* = 0) noexcept
   {
     return untracked_t();
   }
 
   template <typename E, typename T = decltype(untracked_t::static_query<E>())>
-  static BOOST_ASIO_CONSTEXPR const T static_query_v
-    = untracked_t::static_query<E>();
+  static constexpr const T static_query_v = untracked_t::static_query<E>();
 #endif // defined(BOOST_ASIO_HAS_DEDUCED_STATIC_QUERY_TRAIT)
        //   && defined(BOOST_ASIO_HAS_SFINAE_VARIABLE_TEMPLATES)
 
-  static BOOST_ASIO_CONSTEXPR outstanding_work_t<I> value()
+  static constexpr outstanding_work_t<I> value()
   {
     return untracked_t();
   }
 
-  friend BOOST_ASIO_CONSTEXPR bool operator==(
-      const untracked_t&, const untracked_t&)
+  friend constexpr bool operator==(const untracked_t&, const untracked_t&)
   {
     return true;
   }
 
-  friend BOOST_ASIO_CONSTEXPR bool operator!=(
-      const untracked_t&, const untracked_t&)
+  friend constexpr bool operator!=(const untracked_t&, const untracked_t&)
   {
     return false;
   }
+
+  friend constexpr bool operator==(const untracked_t&, const tracked_t<I>&)
+  {
+    return false;
+  }
+
+  friend constexpr bool operator!=(const untracked_t&, const tracked_t<I>&)
+  {
+    return true;
+  }
 };
 
 #if defined(BOOST_ASIO_HAS_DEDUCED_STATIC_QUERY_TRAIT) \
@@ -526,35 +468,15 @@ template <int I = 0>
 struct tracked_t
 {
 #if defined(BOOST_ASIO_HAS_VARIABLE_TEMPLATES)
-# if defined(BOOST_ASIO_NO_DEPRECATED)
-  template <typename T>
-  BOOST_ASIO_STATIC_CONSTEXPR(bool,
-    is_applicable_property_v = (
-      is_executor<T>::value));
-# else // defined(BOOST_ASIO_NO_DEPRECATED)
   template <typename T>
-  BOOST_ASIO_STATIC_CONSTEXPR(bool,
-    is_applicable_property_v = (
-      is_executor<T>::value
-        || conditional<
-            is_executor<T>::value,
-            false_type,
-            is_sender<T>
-          >::type::value
-        || conditional<
-            is_executor<T>::value,
-            false_type,
-            is_scheduler<T>
-          >::type::value
-      ));
-# endif // defined(BOOST_ASIO_NO_DEPRECATED)
+  static constexpr bool is_applicable_property_v = is_executor<T>::value;
 #endif // defined(BOOST_ASIO_HAS_VARIABLE_TEMPLATES)
 
-  BOOST_ASIO_STATIC_CONSTEXPR(bool, is_requirable = true);
-  BOOST_ASIO_STATIC_CONSTEXPR(bool, is_preferable = true);
+  static constexpr bool is_requirable = true;
+  static constexpr bool is_preferable = true;
   typedef outstanding_work_t<I> polymorphic_query_result_type;
 
-  BOOST_ASIO_CONSTEXPR tracked_t()
+  constexpr tracked_t()
   {
   }
 
@@ -572,37 +494,43 @@ struct tracked_t
 #if defined(BOOST_ASIO_HAS_DEDUCED_STATIC_QUERY_TRAIT) \
   && defined(BOOST_ASIO_HAS_SFINAE_VARIABLE_TEMPLATES)
   template <typename T>
-  static BOOST_ASIO_CONSTEXPR
+  static constexpr
   typename query_static_constexpr_member<T>::result_type
   static_query()
-    BOOST_ASIO_NOEXCEPT_IF((
-      query_static_constexpr_member<T>::is_noexcept))
+    noexcept(query_static_constexpr_member<T>::is_noexcept)
   {
     return query_static_constexpr_member<T>::value();
   }
 
   template <typename E, typename T = decltype(tracked_t::static_query<E>())>
-  static BOOST_ASIO_CONSTEXPR const T static_query_v
-    = tracked_t::static_query<E>();
+  static constexpr const T static_query_v = tracked_t::static_query<E>();
 #endif // defined(BOOST_ASIO_HAS_DEDUCED_STATIC_QUERY_TRAIT)
        //   && defined(BOOST_ASIO_HAS_SFINAE_VARIABLE_TEMPLATES)
 
-  static BOOST_ASIO_CONSTEXPR outstanding_work_t<I> value()
+  static constexpr outstanding_work_t<I> value()
   {
     return tracked_t();
   }
 
-  friend BOOST_ASIO_CONSTEXPR bool operator==(
-      const tracked_t&, const tracked_t&)
+  friend constexpr bool operator==(const tracked_t&, const tracked_t&)
   {
     return true;
   }
 
-  friend BOOST_ASIO_CONSTEXPR bool operator!=(
-      const tracked_t&, const tracked_t&)
+  friend constexpr bool operator!=(const tracked_t&, const tracked_t&)
   {
     return false;
   }
+
+  friend constexpr bool operator==(const tracked_t&, const untracked_t<I>&)
+  {
+    return false;
+  }
+
+  friend constexpr bool operator!=(const tracked_t&, const untracked_t<I>&)
+  {
+    return true;
+  }
 };
 
 #if defined(BOOST_ASIO_HAS_DEDUCED_STATIC_QUERY_TRAIT) \
@@ -617,12 +545,7 @@ const T tracked_t<I>::static_query_v;
 
 typedef detail::outstanding_work_t<> outstanding_work_t;
 
-#if defined(BOOST_ASIO_HAS_CONSTEXPR) || defined(GENERATING_DOCUMENTATION)
 constexpr outstanding_work_t outstanding_work;
-#else // defined(BOOST_ASIO_HAS_CONSTEXPR) || defined(GENERATING_DOCUMENTATION)
-namespace { static const outstanding_work_t&
-  outstanding_work = outstanding_work_t::instance; }
-#endif
 
 } // namespace execution
 
@@ -630,61 +553,19 @@ namespace { static const outstanding_work_t&
 
 template <typename T>
 struct is_applicable_property<T, execution::outstanding_work_t>
-  : integral_constant<bool,
-      execution::is_executor<T>::value
-#if !defined(BOOST_ASIO_NO_DEPRECATED)
-        || conditional<
-            execution::is_executor<T>::value,
-            false_type,
-            execution::is_sender<T>
-          >::type::value
-        || conditional<
-            execution::is_executor<T>::value,
-            false_type,
-            execution::is_scheduler<T>
-          >::type::value
-#endif // !defined(BOOST_ASIO_NO_DEPRECATED)
-    >
+  : integral_constant<bool, execution::is_executor<T>::value>
 {
 };
 
 template <typename T>
 struct is_applicable_property<T, execution::outstanding_work_t::untracked_t>
-  : integral_constant<bool,
-      execution::is_executor<T>::value
-#if !defined(BOOST_ASIO_NO_DEPRECATED)
-        || conditional<
-            execution::is_executor<T>::value,
-            false_type,
-            execution::is_sender<T>
-          >::type::value
-        || conditional<
-            execution::is_executor<T>::value,
-            false_type,
-            execution::is_scheduler<T>
-          >::type::value
-#endif // !defined(BOOST_ASIO_NO_DEPRECATED)
-    >
+  : integral_constant<bool, execution::is_executor<T>::value>
 {
 };
 
 template <typename T>
 struct is_applicable_property<T, execution::outstanding_work_t::tracked_t>
-  : integral_constant<bool,
-      execution::is_executor<T>::value
-#if !defined(BOOST_ASIO_NO_DEPRECATED)
-        || conditional<
-            execution::is_executor<T>::value,
-            false_type,
-            execution::is_sender<T>
-          >::type::value
-        || conditional<
-            execution::is_executor<T>::value,
-            false_type,
-            execution::is_scheduler<T>
-          >::type::value
-#endif // !defined(BOOST_ASIO_NO_DEPRECATED)
-    >
+  : integral_constant<bool, execution::is_executor<T>::value>
 {
 };
 
@@ -696,27 +577,27 @@ namespace traits {
 
 template <typename T>
 struct query_free_default<T, execution::outstanding_work_t,
-  typename enable_if<
+  enable_if_t<
     can_query<T, execution::outstanding_work_t::untracked_t>::value
-  >::type>
+  >>
 {
-  BOOST_ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
-  BOOST_ASIO_STATIC_CONSTEXPR(bool, is_noexcept =
-    (is_nothrow_query<T, execution::outstanding_work_t::untracked_t>::value));
+  static constexpr bool is_valid = true;
+  static constexpr bool is_noexcept =
+    is_nothrow_query<T, execution::outstanding_work_t::untracked_t>::value;
 
   typedef execution::outstanding_work_t result_type;
 };
 
 template <typename T>
 struct query_free_default<T, execution::outstanding_work_t,
-  typename enable_if<
+  enable_if_t<
     !can_query<T, execution::outstanding_work_t::untracked_t>::value
       && can_query<T, execution::outstanding_work_t::tracked_t>::value
-  >::type>
+  >>
 {
-  BOOST_ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
-  BOOST_ASIO_STATIC_CONSTEXPR(bool, is_noexcept =
-    (is_nothrow_query<T, execution::outstanding_work_t::tracked_t>::value));
+  static constexpr bool is_valid = true;
+  static constexpr bool is_noexcept =
+    is_nothrow_query<T, execution::outstanding_work_t::tracked_t>::value;
 
   typedef execution::outstanding_work_t result_type;
 };
@@ -728,18 +609,18 @@ struct query_free_default<T, execution::outstanding_work_t,
 
 template <typename T>
 struct static_query<T, execution::outstanding_work_t,
-  typename enable_if<
+  enable_if_t<
     execution::detail::outstanding_work_t<0>::
       query_static_constexpr_member<T>::is_valid
-  >::type>
+  >>
 {
-  BOOST_ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
-  BOOST_ASIO_STATIC_CONSTEXPR(bool, is_noexcept = true);
+  static constexpr bool is_valid = true;
+  static constexpr bool is_noexcept = true;
 
   typedef typename execution::detail::outstanding_work_t<0>::
     query_static_constexpr_member<T>::result_type result_type;
 
-  static BOOST_ASIO_CONSTEXPR result_type value()
+  static constexpr result_type value()
   {
     return execution::detail::outstanding_work_t<0>::
       query_static_constexpr_member<T>::value();
@@ -748,22 +629,22 @@ struct static_query<T, execution::outstanding_work_t,
 
 template <typename T>
 struct static_query<T, execution::outstanding_work_t,
-  typename enable_if<
+  enable_if_t<
     !execution::detail::outstanding_work_t<0>::
         query_static_constexpr_member<T>::is_valid
       && !execution::detail::outstanding_work_t<0>::
         query_member<T>::is_valid
       && traits::static_query<T,
         execution::outstanding_work_t::untracked_t>::is_valid
-  >::type>
+  >>
 {
-  BOOST_ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
-  BOOST_ASIO_STATIC_CONSTEXPR(bool, is_noexcept = true);
+  static constexpr bool is_valid = true;
+  static constexpr bool is_noexcept = true;
 
   typedef typename traits::static_query<T,
     execution::outstanding_work_t::untracked_t>::result_type result_type;
 
-  static BOOST_ASIO_CONSTEXPR result_type value()
+  static constexpr result_type value()
   {
     return traits::static_query<T,
         execution::outstanding_work_t::untracked_t>::value();
@@ -772,7 +653,7 @@ struct static_query<T, execution::outstanding_work_t,
 
 template <typename T>
 struct static_query<T, execution::outstanding_work_t,
-  typename enable_if<
+  enable_if_t<
     !execution::detail::outstanding_work_t<0>::
         query_static_constexpr_member<T>::is_valid
       && !execution::detail::outstanding_work_t<0>::
@@ -781,15 +662,15 @@ struct static_query<T, execution::outstanding_work_t,
         execution::outstanding_work_t::untracked_t>::is_valid
       && traits::static_query<T,
         execution::outstanding_work_t::tracked_t>::is_valid
-  >::type>
+  >>
 {
-  BOOST_ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
-  BOOST_ASIO_STATIC_CONSTEXPR(bool, is_noexcept = true);
+  static constexpr bool is_valid = true;
+  static constexpr bool is_noexcept = true;
 
   typedef typename traits::static_query<T,
     execution::outstanding_work_t::tracked_t>::result_type result_type;
 
-  static BOOST_ASIO_CONSTEXPR result_type value()
+  static constexpr result_type value()
   {
     return traits::static_query<T,
         execution::outstanding_work_t::tracked_t>::value();
@@ -798,18 +679,18 @@ struct static_query<T, execution::outstanding_work_t,
 
 template <typename T>
 struct static_query<T, execution::outstanding_work_t::untracked_t,
-  typename enable_if<
+  enable_if_t<
     execution::detail::outstanding_work::untracked_t<0>::
       query_static_constexpr_member<T>::is_valid
-  >::type>
+  >>
 {
-  BOOST_ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
-  BOOST_ASIO_STATIC_CONSTEXPR(bool, is_noexcept = true);
+  static constexpr bool is_valid = true;
+  static constexpr bool is_noexcept = true;
 
   typedef typename execution::detail::outstanding_work::untracked_t<0>::
     query_static_constexpr_member<T>::result_type result_type;
 
-  static BOOST_ASIO_CONSTEXPR result_type value()
+  static constexpr result_type value()
   {
     return execution::detail::outstanding_work::untracked_t<0>::
       query_static_constexpr_member<T>::value();
@@ -818,7 +699,7 @@ struct static_query<T, execution::outstanding_work_t::untracked_t,
 
 template <typename T>
 struct static_query<T, execution::outstanding_work_t::untracked_t,
-  typename enable_if<
+  enable_if_t<
     !execution::detail::outstanding_work::untracked_t<0>::
         query_static_constexpr_member<T>::is_valid
       && !execution::detail::outstanding_work::untracked_t<0>::
@@ -826,14 +707,14 @@ struct static_query<T, execution::outstanding_work_t::untracked_t,
       && !traits::query_free<T,
         execution::outstanding_work_t::untracked_t>::is_valid
       && !can_query<T, execution::outstanding_work_t::tracked_t>::value
-  >::type>
+  >>
 {
-  BOOST_ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
-  BOOST_ASIO_STATIC_CONSTEXPR(bool, is_noexcept = true);
+  static constexpr bool is_valid = true;
+  static constexpr bool is_noexcept = true;
 
   typedef execution::outstanding_work_t::untracked_t result_type;
 
-  static BOOST_ASIO_CONSTEXPR result_type value()
+  static constexpr result_type value()
   {
     return result_type();
   }
@@ -841,18 +722,18 @@ struct static_query<T, execution::outstanding_work_t::untracked_t,
 
 template <typename T>
 struct static_query<T, execution::outstanding_work_t::tracked_t,
-  typename enable_if<
+  enable_if_t<
     execution::detail::outstanding_work::tracked_t<0>::
       query_static_constexpr_member<T>::is_valid
-  >::type>
+  >>
 {
-  BOOST_ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
-  BOOST_ASIO_STATIC_CONSTEXPR(bool, is_noexcept = true);
+  static constexpr bool is_valid = true;
+  static constexpr bool is_noexcept = true;
 
   typedef typename execution::detail::outstanding_work::tracked_t<0>::
     query_static_constexpr_member<T>::result_type result_type;
 
-  static BOOST_ASIO_CONSTEXPR result_type value()
+  static constexpr result_type value()
   {
     return execution::detail::outstanding_work::tracked_t<0>::
       query_static_constexpr_member<T>::value();
@@ -862,34 +743,6 @@ struct static_query<T, execution::outstanding_work_t::tracked_t,
 #endif // !defined(BOOST_ASIO_HAS_DEDUCED_STATIC_QUERY_TRAIT)
        //   || !defined(BOOST_ASIO_HAS_SFINAE_VARIABLE_TEMPLATES)
 
-#if !defined(BOOST_ASIO_HAS_DEDUCED_STATIC_REQUIRE_TRAIT)
-
-template <typename T>
-struct static_require<T, execution::outstanding_work_t::untracked_t,
-  typename enable_if<
-    static_query<T, execution::outstanding_work_t::untracked_t>::is_valid
-  >::type>
-{
-  BOOST_ASIO_STATIC_CONSTEXPR(bool, is_valid =
-    (is_same<typename static_query<T,
-      execution::outstanding_work_t::untracked_t>::result_type,
-        execution::outstanding_work_t::untracked_t>::value));
-};
-
-template <typename T>
-struct static_require<T, execution::outstanding_work_t::tracked_t,
-  typename enable_if<
-    static_query<T, execution::outstanding_work_t::tracked_t>::is_valid
-  >::type>
-{
-  BOOST_ASIO_STATIC_CONSTEXPR(bool, is_valid =
-    (is_same<typename static_query<T,
-      execution::outstanding_work_t::tracked_t>::result_type,
-        execution::outstanding_work_t::tracked_t>::value));
-};
-
-#endif // !defined(BOOST_ASIO_HAS_DEDUCED_STATIC_REQUIRE_TRAIT)
-
 } // namespace traits
 
 #endif // defined(GENERATING_DOCUMENTATION)