Add some more test cases exercising result initialization from {}

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>>));

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();
 }