diff --git a/include/boost/system/result.hpp b/include/boost/system/result.hpp
index cdfe85b..3aa565e 100644
--- a/include/boost/system/result.hpp
+++ b/include/boost/system/result.hpp
@@ -1029,6 +1029,23 @@ template<class E, class F,
     }
 }
 
+template<class E, class F,
+    class U = decltype( std::declval<F>()() ),
+    class En1 = typename std::enable_if<detail::is_result<U>::value>::type,
+    class En2 = typename std::enable_if<std::is_void<typename U::value_type>::value>::type
+>
+    U operator|( result<void, E>&& r, F&& f )
+{
+    if( r )
+    {
+        return {};
+    }
+    else
+    {
+        return std::forward<F>( f )();
+    }
+}
+
 } // namespace system
 } // namespace boost
 
diff --git a/test/result_or_fn0r.cpp b/test/result_or_fn0r.cpp
index 2ca5a21..18ed7cd 100644
--- a/test/result_or_fn0r.cpp
+++ b/test/result_or_fn0r.cpp
@@ -335,5 +335,25 @@ int main()
         BOOST_TEST( r2.has_error() );
     }
 
+    {
+        result<void, E> r2 = result<void>() | fv;
+        BOOST_TEST( r2.has_value() );
+    }
+
+    {
+        result<void, E> r2 = result<void>() | fv2;
+        BOOST_TEST( r2.has_value() );
+    }
+
+    {
+        result<void, E> r2 = result<void>( in_place_error ) | fv;
+        BOOST_TEST( r2.has_value() );
+    }
+
+    {
+        result<void, E> r2 = result<void>( in_place_error ) | fv2;
+        BOOST_TEST( r2.has_error() );
+    }
+
     return boost::report_errors();
 }