From 4169ef3ce6ea54f54bf184032bbb1c59365618e6 Mon Sep 17 00:00:00 2001
From: Peter Dimov <pdimov@gmail.com>
Date: Fri, 17 Sep 2021 19:36:58 +0300
Subject: [PATCH] Update test/result_error_construct

---
 test/result_error_construct.cpp | 31 +++++++++++++++++++++++++++++++
 1 file changed, 31 insertions(+)

diff --git a/test/result_error_construct.cpp b/test/result_error_construct.cpp
index 90c66e9..8ea5f70 100644
--- a/test/result_error_construct.cpp
+++ b/test/result_error_construct.cpp
@@ -150,5 +150,36 @@ int main()
         BOOST_TEST_TRAIT_FALSE((std::is_convertible<int, result<int, X>>));
     }
 
+    {
+        auto ec = make_error_code( errc::invalid_argument );
+
+        result<void> r( ec );
+
+        BOOST_TEST( !r.has_value() );
+        BOOST_TEST( r.has_error() );
+
+        BOOST_TEST_EQ( r.error(), ec );
+    }
+
+    {
+        auto ec = make_error_code( errc::invalid_argument );
+
+        result<void> r = ec;
+
+        BOOST_TEST( !r.has_value() );
+        BOOST_TEST( r.has_error() );
+
+        BOOST_TEST_EQ( r.error(), ec );
+    }
+
+    {
+        result<void> r( EINVAL, generic_category() );
+
+        BOOST_TEST( !r.has_value() );
+        BOOST_TEST( r.has_error() );
+
+        BOOST_TEST_EQ( r.error(), std::error_code( EINVAL, generic_category() ) );
+    }
+
     return boost::report_errors();
 }