From 61a0e244daf6c3bc54768901cadb3bab5d674f57 Mon Sep 17 00:00:00 2001
From: Peter Dimov <pdimov@gmail.com>
Date: Fri, 20 Oct 2023 21:49:20 +0300
Subject: [PATCH] Add some more test cases exercising result initialization
 from {}

---
 test/result_default_construct.cpp | 46 +++++++++++++++++++++++++++++++
 test/result_value_construct2.cpp  | 12 ++++++++
 2 files changed, 58 insertions(+)

diff --git a/test/result_default_construct.cpp b/test/result_default_construct.cpp
index a467e36c7..ca0fcc529 100644
--- a/test/result_default_construct.cpp
+++ b/test/result_default_construct.cpp
@@ -28,6 +28,24 @@ int main()
         BOOST_TEST_EQ( r.value(), 0 );
     }
 
+    {
+        result<int> r{};
+
+        BOOST_TEST( r.has_value() );
+        BOOST_TEST( !r.has_error() );
+
+        BOOST_TEST_EQ( r.value(), 0 );
+    }
+
+    {
+        result<int> r = {};
+
+        BOOST_TEST( r.has_value() );
+        BOOST_TEST( !r.has_error() );
+
+        BOOST_TEST_EQ( r.value(), 0 );
+    }
+
     {
         result<X> r;
 
@@ -35,6 +53,20 @@ int main()
         BOOST_TEST( !r.has_error() );
     }
 
+    {
+        result<X> r{};
+
+        BOOST_TEST( r.has_value() );
+        BOOST_TEST( !r.has_error() );
+    }
+
+    {
+        result<X> r = {};
+
+        BOOST_TEST( r.has_value() );
+        BOOST_TEST( !r.has_error() );
+    }
+
     {
         result<void> r;
 
@@ -42,6 +74,20 @@ int main()
         BOOST_TEST( !r.has_error() );
     }
 
+    {
+        result<void> r{};
+
+        BOOST_TEST( r.has_value() );
+        BOOST_TEST( !r.has_error() );
+    }
+
+    {
+        result<void> r = {};
+
+        BOOST_TEST( r.has_value() );
+        BOOST_TEST( !r.has_error() );
+    }
+
     {
         BOOST_TEST_TRAIT_TRUE((std::is_default_constructible<result<int>>));
         BOOST_TEST_TRAIT_TRUE((std::is_default_constructible<result<int, int>>));
diff --git a/test/result_value_construct2.cpp b/test/result_value_construct2.cpp
index 6296a4f6a..b3d92a239 100644
--- a/test/result_value_construct2.cpp
+++ b/test/result_value_construct2.cpp
@@ -69,6 +69,11 @@ result<std::vector<int>> fv2()
     return {{ 1, 2 }};
 }
 
+result<void> fw0()
+{
+    return {};
+}
+
 int main()
 {
     {
@@ -148,5 +153,12 @@ int main()
         BOOST_TEST_EQ( r->at(1), 2 );
     }
 
+    {
+        result<void> r = fw0();
+
+        BOOST_TEST( r.has_value() );
+        BOOST_TEST( !r.has_error() );
+    }
+
     return boost::report_errors();
 }