3 Copyright Barrett Adair 2016-2017
5 Distributed under the Boost Software License, Version 1.0.
6 (See accompanying file LICENSE.md or copy at http ://boost.org/LICENSE_1_0.txt)
10 #include <boost/callable_traits/args.hpp>
16 struct is_substitution_failure_args
{
19 static auto test(...) -> std::true_type
;
22 TRAIT(boost::callable_traits::args
, U
, std::tuple
)* = nullptr>
23 static auto test(int) -> std::false_type
;
25 static constexpr bool value
= decltype(test
<T
>(0))::value
;
30 CT_ASSERT(is_substitution_failure_args
<int>::value
);
31 CT_ASSERT(is_substitution_failure_args
<int &>::value
);
32 CT_ASSERT(is_substitution_failure_args
<int (** const &)()>::value
);
33 CT_ASSERT(is_substitution_failure_args
<int (foo::** &)()>::value
);
34 CT_ASSERT(is_substitution_failure_args
<int (foo::** const)()>::value
);
35 CT_ASSERT(is_substitution_failure_args
<int (foo::** const &)()>::value
);
36 CT_ASSERT(is_substitution_failure_args
<int (foo::** volatile)()>::value
);
37 CT_ASSERT(!is_substitution_failure_args
<int (* const &)()>::value
);
38 CT_ASSERT(!is_substitution_failure_args
<int (foo::* &)()>::value
);
39 CT_ASSERT(!is_substitution_failure_args
<int (foo::* const)()>::value
);
40 CT_ASSERT(!is_substitution_failure_args
<int (foo::* const &)()>::value
);
41 CT_ASSERT(!is_substitution_failure_args
<int (foo::* volatile)()>::value
);
43 CT_ASSERT(!is_substitution_failure_args
<decltype(lambda
)&>::value
);
44 CT_ASSERT(is_substitution_failure_args
<void>::value
);