1 files changed, 108 insertions, 0 deletions
diff --git a/boost/callable_traits/add_noexcept.hpp b/boost/callable_traits/add_noexcept.hpp
new file mode 100644
index 0000000000..92b2dc55af
--- /dev/null
+++ b/boost/callable_traits/add_noexcept.hpp
@@ -0,0 +1,108 @@
+/*
+@file add_noexcept
+
+@Copyright Barrett Adair 2015-2017
+Distributed under the Boost Software License, Version 1.0.
+(See accompanying file LICENSE.md or copy at http://boost.org/LICENSE_1_0.txt)
+
+*/
+
+#ifndef BOOST_CLBL_TRTS_ADD_NOEXCEPT_HPP
+#define BOOST_CLBL_TRTS_ADD_NOEXCEPT_HPP
+
+#include <boost/callable_traits/detail/core.hpp>
+
+namespace boost { namespace callable_traits {
+
+BOOST_CLBL_TRTS_DEFINE_SFINAE_ERROR_ORIGIN(add_noexcept)
+BOOST_CLBL_TRTS_SFINAE_MSG(add_noexcept, cannot_add_noexcept_to_this_type)
+
+#ifndef BOOST_CLBL_TRTS_ENABLE_NOEXCEPT_TYPES
+template<typename T>
+struct add_noexcept_t {
+    static_assert(std::is_same<T, detail::dummy>::value,
+        "noexcept types not supported by this configuration.");
+};
+
+template<typename T>
+struct add_noexcept {
+    static_assert(std::is_same<T, detail::dummy>::value,
+        "noexcept types not supported by this configuration.");
+};
+
+#else
+
+//[ add_noexcept_hpp
+/*`
+[section:ref_add_noexcept add_noexcept]
+[heading Header]
+``#include <boost/callable_traits/add_noexcept.hpp>``
+[heading Definition]
+*/
+
+template<typename T>
+using add_noexcept_t = //see below
+//<-
+    detail::try_but_fail_if_invalid<
+        typename detail::traits<T>::add_noexcept,
+        cannot_add_noexcept_to_this_type>;
+
+namespace detail {
+
+    template<typename T, typename = std::false_type>
+    struct add_noexcept_impl {};
+
+    template<typename T>
+    struct add_noexcept_impl <T, typename std::is_same<
+        add_noexcept_t<T>, detail::dummy>::type>
+    {
+        using type = add_noexcept_t<T>;
+    };
+}
+//->
+
+template<typename T>
+struct add_noexcept : detail::add_noexcept_impl<T> {};
+
+//<-
+#endif // #ifdef BOOST_CLBL_TRTS_ENABLE_NOEXCEPT_TYPES
+}} // namespace boost::callable_traits
+//->
+
+/*`
+[heading Constraints]
+* `T` must be one of the following:
+  * function type
+  * function pointer type
+  * function reference type
+  * member function pointer type
+* If `T` is a pointer, it may not be cv/ref qualified
+
+[heading Behavior]
+* A substitution failure occurs if the constraints are violated.
+* Adds a `noexcept` specifier to `T`, if not already present.
+
+[heading Input/Output Examples]
+[table
+    [[`T`]                                    [`add_noexcept_t<T>`]]
+    [[`int()`]                                [`int() noexcept`]]
+    [[`int (&)()`]                            [`int(&)() noexcept`]]
+    [[`int (*)()`]                            [`int(*)() noexcept`]]
+    [[`int(foo::*)()`]                        [`int(foo::*)() noexcept`]]
+    [[`int(foo::*)() &`]                      [`int(foo::*)() & noexcept`]]
+    [[`int(foo::*)() &&`]                     [`int(foo::*)() && noexcept`]]
+    [[`int(foo::*)() const transaction_safe`] [`int(foo::*)() const transaction_safe noexcept`]]
+    [[`int(foo::*)() noexcept`]               [`int(foo::*)() noexcept`]]
+    [[`int`]                                  [(substitution failure)]]
+    [[`int foo::*`]                           [(substitution failure)]]
+    [[`int (*&)()`]                           [(substitution failure)]]
+]
+
+[heading Example Program]
+[import ../example/add_noexcept.cpp]
+[add_noexcept]
+[endsect]
+*/
+//]
+
+#endif // #ifndef BOOST_CLBL_TRTS_ADD_NOEXCEPT_HPP