Avoid Appveyor timeout

declared global constants as inline with BOOST_INLINE_CONSTEXPR

appveyor.yml

@@ -17,7 +17,11 @@ environment:
     - APPVEYOR_BUILD_WORKER_IMAGE: Visual Studio 2017
       TOOLSET: msvc-14.1
       CXXSTD: 14,17,latest
-      ADDRMD: 32,64
+      ADDRMD: 32
+    - APPVEYOR_BUILD_WORKER_IMAGE: Visual Studio 2017
+      TOOLSET: msvc-14.1
+      CXXSTD: 14,17,latest
+      ADDRMD: 64
     - APPVEYOR_BUILD_WORKER_IMAGE: Visual Studio 2019
       ADDPATH: C:\cygwin64\bin;
       TOOLSET: gcc

doc/system/changes.adoc

@@ -14,6 +14,7 @@ https://www.boost.org/LICENSE_1_0.txt
 * The deprecated header `boost/system/cygwin_error.hpp` has been removed.
 * The original and obsolete (32 bit) MinGW is no longer supported. MinGW-w64 (both 64 and 32 bit) is still supported.
 * `operator&` now works for `result<void>` (by way of taking a nullary function.)
+* Added `operator|=` for `result`.
 
 ## Changes in Boost 1.84
 

doc/system/reference.adoc

@@ -2618,6 +2618,58 @@ int get_port()
 }
 ```
 
+#### operator|=
+
+```
+template<class T, class E, class U> result<T, E>& operator|=( result<T, E>& r, U&& u );
+```
+[none]
+* {blank}
++
+If `r` contains an error, assigns a value to it, constructed from `u`.
++
+Effects: ::
+  If `r.has_value()` is `false`, assigns `u` to `r`.
+Returns: ::
+  `r`.
+Remarks: ::
+  Only enabled when `U` is convertible to `T`.
+
+```
+template<class T, class E, class F> result<T, E>& operator|=( result<T, E>& r, F&& f );
+```
+[none]
+* {blank}
++
+If `r` contains an error, assigns `f()` to it.
++
+Effects: ::
+  If `r.has_value()` is `false`, assigns `f()` to `r`.
+Returns: ::
+  `r`.
+Remarks: ::
+  Only enabled when the type of `f()` is either
+  - convertible to `T` or
+  - an instance of `result` convertible to `result<T, E>`.
+Example: ::
++
+```
+result<response> query_impl( std::string_view server, request const& req );
+
+result<response> query( std::vector<std::string_view> const& servers, request const& req )
+{
+    result<response> r = make_error_code( errc::invalid_argument );
+
+    for( auto const& server: servers )
+    {
+        r |= std::bind( query_impl, server, std::ref( req ) );
+    }
+
+    return r;
+}
+```
+
+
 #### operator&
 
 ```

include/boost/system/result.hpp

@@ -73,10 +73,10 @@ BOOST_NORETURN BOOST_NOINLINE inline void throw_exception_from_error( std::excep
 // in_place_*
 
 using in_place_value_t = variant2::in_place_index_t<0>;
-constexpr in_place_value_t in_place_value{};
+BOOST_INLINE_CONSTEXPR in_place_value_t in_place_value{};
 
 using in_place_error_t = variant2::in_place_index_t<1>;
-constexpr in_place_error_t in_place_error{};
+BOOST_INLINE_CONSTEXPR in_place_error_t in_place_error{};
 
 namespace detail
 {
@@ -1124,7 +1124,8 @@ result<T, E>& operator|=( result<T, E>& r, F&& f )
 
 template<class T, class E, class F,
     class U = decltype( std::declval<F>()( std::declval<T const&>() ) ),
-    class En = typename std::enable_if<!detail::is_result<U>::value>::type
+    class En1 = typename std::enable_if<!detail::is_result<U>::value>::type,
+    class En2 = typename std::enable_if<!std::is_void<U>::value>::type
 >
 result<U, E> operator&( result<T, E> const& r, F&& f )
 {
@@ -1140,7 +1141,8 @@ result<U, E> operator&( result<T, E> const& r, F&& f )
 
 template<class T, class E, class F,
     class U = decltype( std::declval<F>()( std::declval<T>() ) ),
-    class En = typename std::enable_if<!detail::is_result<U>::value>::type
+    class En1 = typename std::enable_if<!detail::is_result<U>::value>::type,
+    class En2 = typename std::enable_if<!std::is_void<U>::value>::type
 >
 result<U, E> operator&( result<T, E>&& r, F&& f )
 {
@@ -1154,9 +1156,44 @@ result<U, E> operator&( result<T, E>&& r, F&& f )
     }
 }
 
+template<class T, class E, class F,
+    class U = decltype( std::declval<F>()( std::declval<T const&>() ) ),
+    class En = typename std::enable_if<std::is_void<U>::value>::type
+>
+result<U, E> operator&( result<T, E> const& r, F&& f )
+{
+    if( r.has_error() )
+    {
+        return r.error();
+    }
+    else
+    {
+        std::forward<F>( f )( *r );
+        return {};
+    }
+}
+
+template<class T, class E, class F,
+    class U = decltype( std::declval<F>()( std::declval<T>() ) ),
+    class En = typename std::enable_if<std::is_void<U>::value>::type
+>
+result<U, E> operator&( result<T, E>&& r, F&& f )
+{
+    if( r.has_error() )
+    {
+        return r.error();
+    }
+    else
+    {
+        std::forward<F>( f )( *std::move( r ) );
+        return {};
+    }
+}
+
 template<class E, class F,
     class U = decltype( std::declval<F>()() ),
-    class En = typename std::enable_if<!detail::is_result<U>::value>::type
+    class En1 = typename std::enable_if<!detail::is_result<U>::value>::type,
+    class En2 = typename std::enable_if<!std::is_void<U>::value>::type
 >
 result<U, E> operator&( result<void, E> const& r, F&& f )
 {
@@ -1170,6 +1207,23 @@ result<U, E> operator&( result<void, E> const& r, F&& f )
     }
 }
 
+template<class E, class F,
+    class U = decltype( std::declval<F>()() ),
+    class En = typename std::enable_if<std::is_void<U>::value>::type
+>
+result<U, E> operator&( result<void, E> const& r, F&& f )
+{
+    if( r.has_error() )
+    {
+        return r.error();
+    }
+    else
+    {
+        std::forward<F>( f )();
+        return {};
+    }
+}
+
 // result & unary-returning-result
 
 template<class T, class E, class F,

test/result_and_fn1v.cpp

@@ -55,6 +55,14 @@ int k()
     return 7;
 }
 
+void fv1( int /*x*/ )
+{
+}
+
+void fv2()
+{
+}
+
 int main()
 {
     {
@@ -199,5 +207,85 @@ int main()
         BOOST_TEST( r2.has_error() );
     }
 
+    {
+        result<int> r( 1 );
+        result<void> r2 = r & fv1;
+
+        BOOST_TEST( r2.has_value() );
+    }
+
+    {
+        result<int> const r( 1 );
+        result<void> r2 = r & fv1;
+
+        BOOST_TEST( r2.has_value() );
+    }
+
+    {
+        result<void> r2 = result<int>( 1 ) & fv1;
+
+        BOOST_TEST( r2.has_value() );
+    }
+
+    {
+        result<int, E> r( in_place_error );
+        result<void, E> r2 = r & fv1;
+
+        BOOST_TEST( r2.has_error() );
+    }
+
+    {
+        result<int, E> const r( in_place_error );
+        result<void, E> r2 = r & fv1;
+
+        BOOST_TEST( r2.has_error() );
+    }
+
+    {
+        result<void, E> r2 = result<int, E>( in_place_error ) & fv1;
+
+        BOOST_TEST( r2.has_error() );
+    }
+
+    {
+        result<void> r;
+        result<void> r2 = r & fv2;
+
+        BOOST_TEST( r2.has_value() );
+    }
+
+    {
+        result<void> const r;
+        result<void> r2 = r & fv2;
+
+        BOOST_TEST( r2.has_value() );
+    }
+
+    {
+        result<void> r2 = result<void>() & fv2;
+
+        BOOST_TEST( r2.has_value() );
+    }
+
+    {
+        result<void, E> r( in_place_error );
+        result<void, E> r2 = r & fv2;
+
+        BOOST_TEST( r2.has_error() );
+    }
+
+    {
+        result<void, E> const r( in_place_error );
+        result<void, E> r2 = r & fv2;
+
+        BOOST_TEST( r2.has_error() );
+    }
+
+    {
+        result<void, E> r2 = result<void, E>( in_place_error ) & fv2;
+
+        BOOST_TEST( r2.has_error() );
+    }
+
     return boost::report_errors();
 }