From 322d7611af7d745e2ab358b589c0904a28575635 Mon Sep 17 00:00:00 2001
From: Peter Dimov <pdimov@pdimov.com>
Date: Thu, 27 Sep 2018 08:13:59 +0300
Subject: [PATCH] Use boost::wrapexcept<E> as the thrown exception type

---
 include/boost/exception/exception.hpp | 37 +++++++++++++++++++++++++--
 1 file changed, 35 insertions(+), 2 deletions(-)

diff --git a/include/boost/exception/exception.hpp b/include/boost/exception/exception.hpp
index 1460473..d5c22c4 100644
--- a/include/boost/exception/exception.hpp
+++ b/include/boost/exception/exception.hpp
@@ -473,15 +473,48 @@ boost
         return exception_detail::clone_impl<T>(x);
         }
 
+    template <class T>
+    struct
+    BOOST_SYMBOL_VISIBLE
+    wrapexcept:
+        public exception_detail::clone_impl<typename exception_detail::enable_error_info_return_type<T>::type>
+        {
+        typedef exception_detail::clone_impl<typename exception_detail::enable_error_info_return_type<T>::type> base_type;
+        public:
+        explicit
+        wrapexcept( typename exception_detail::enable_error_info_return_type<T>::type const & x ):
+            base_type( x )
+            {
+            }
+
+        ~wrapexcept() throw()
+            {
+            }
+        };
+
     namespace
     exception_detail
         {
+        template <class T>
+        struct
+        remove_error_info_injector
+            {
+            typedef T type;
+            };
+
+        template <class T>
+        struct
+        remove_error_info_injector< error_info_injector<T> >
+            {
+            typedef T type;
+            };
+
         template <class T>
         inline
-        clone_impl<typename enable_error_info_return_type<T>::type>
+        wrapexcept<typename remove_error_info_injector<T>::type>
         enable_both( T const & x )
             {
-            return enable_current_exception( enable_error_info( x ) );
+            return wrapexcept<typename remove_error_info_injector<T>::type>( enable_error_info( x ) );
             }
         }
     }