1 files changed, 44 insertions, 0 deletions
diff --git a/src/boost/libs/callable_traits/example/add_varargs.cpp b/src/boost/libs/callable_traits/example/add_varargs.cpp
new file mode 100644
index 00000000..8538c00b
--- /dev/null
+++ b/src/boost/libs/callable_traits/example/add_varargs.cpp
@@ -0,0 +1,44 @@
+/*<-
+Copyright Barrett Adair 2016-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)
+->*/
+
+//[ add_varargs
+#include <type_traits>
+#include <boost/callable_traits/add_varargs.hpp>
+
+namespace ct = boost::callable_traits;
+
+struct foo {};
+
+int main() {
+
+    {
+        using f = void(int);
+        using expect = void(int, ...);
+        using test = ct::add_varargs_t<f>;
+        static_assert(std::is_same<test, expect>::value, "");
+    } {
+        using fp = void(*)();
+        using expect = void(*)(...);
+        using test = ct::add_varargs_t<fp>;
+        static_assert(std::is_same<test, expect>::value, "");
+    } {
+        using fr = void(&)(const char*);
+        using expect = void(&)(const char*, ...);
+        using test = ct::add_varargs_t<fr>;
+        static_assert(std::is_same<test, expect>::value, "");
+    } {
+        using pmf = void(foo::*)() const;
+        using expect = void(foo::*)(...) const;
+        using test = ct::add_varargs_t<pmf>;
+        static_assert(std::is_same<test, expect>::value, "");
+
+        // add_varargs_t doesn't change anything when
+        // the type already has varargs.
+        using twice = ct::add_varargs_t<test>;
+        static_assert(std::is_same<test, twice>::value, "");
+    }
+}
+//]