summaryrefslogtreecommitdiffstats
path: root/src/boost/libs/callable_traits/example/void.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'src/boost/libs/callable_traits/example/void.cpp')
-rw-r--r--src/boost/libs/callable_traits/example/void.cpp31
1 files changed, 31 insertions, 0 deletions
diff --git a/src/boost/libs/callable_traits/example/void.cpp b/src/boost/libs/callable_traits/example/void.cpp
new file mode 100644
index 000000000..75fc8eee2
--- /dev/null
+++ b/src/boost/libs/callable_traits/example/void.cpp
@@ -0,0 +1,31 @@
+/*
+
+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)
+
+*/
+
+#include <type_traits>
+#include <functional>
+#include <tuple>
+#include <boost/callable_traits.hpp>
+
+struct foo {
+ void operator()() const {}
+};
+
+namespace ct = boost::callable_traits;
+
+int main() {
+
+ using args = ct::args_t<foo>;
+ using expected_args = std::tuple<>;
+ static_assert(std::is_same<args, expected_args>{}, "");
+
+ using signature = ct::function_type_t<foo>;
+ using expected_signature = void();
+ static_assert(std::is_same<signature, expected_signature>{}, "");
+
+ return 0;
+}