From cedf6eb581b98a74369b76ecad1423976eb428d8 Mon Sep 17 00:00:00 2001
From: Peter Dimov <pdimov@gmail.com>
Date: Thu, 1 Feb 2024 02:22:05 +0200
Subject: [PATCH] Update test/result_and_fn1r.cpp

---
 test/result_and_fn1r.cpp | 35 +++++++++++++++++++++++++++++++++++
 1 file changed, 35 insertions(+)

diff --git a/test/result_and_fn1r.cpp b/test/result_and_fn1r.cpp
index ef4e64a..beaf858 100644
--- a/test/result_and_fn1r.cpp
+++ b/test/result_and_fn1r.cpp
@@ -100,6 +100,11 @@ result<void, E2> fk3()
     return {};
 }
 
+result<void, E2> fk4()
+{
+    return E2();
+}
+
 int main()
 {
     {
@@ -375,6 +380,11 @@ int main()
             result<void, E2> r2 = r & fk3;
             BOOST_TEST( r2.has_value() );
         }
+
+        {
+            result<void, E2> r2 = r & fk4;
+            BOOST_TEST( r2.has_error() );
+        }
     }
 
     {
@@ -394,6 +404,11 @@ int main()
             result<void, E2> r2 = r & fk3;
             BOOST_TEST( r2.has_value() );
         }
+
+        {
+            result<void, E2> r2 = r & fk4;
+            BOOST_TEST( r2.has_error() );
+        }
     }
 
     {
@@ -411,6 +426,11 @@ int main()
         BOOST_TEST( r2.has_value() );
     }
 
+    {
+        result<void, E2> r2 = result<void, E>() & fk4;
+        BOOST_TEST( r2.has_error() );
+    }
+
     {
         result<void, E> r( in_place_error );
 
@@ -428,6 +448,11 @@ int main()
             result<void, E2> r2 = r & fk3;
             BOOST_TEST( r2.has_error() );
         }
+
+        {
+            result<void, E2> r2 = r & fk4;
+            BOOST_TEST( r2.has_error() );
+        }
     }
 
     {
@@ -447,6 +472,11 @@ int main()
             result<void, E2> r2 = r & fk3;
             BOOST_TEST( r2.has_error() );
         }
+
+        {
+            result<void, E2> r2 = r & fk4;
+            BOOST_TEST( r2.has_error() );
+        }
     }
 
     {
@@ -464,5 +494,10 @@ int main()
         BOOST_TEST( r2.has_error() );
     }
 
+    {
+        result<void, E2> r2 = result<void, E>( in_place_error ) & fk4;
+        BOOST_TEST( r2.has_error() );
+    }
+
     return boost::report_errors();
 }