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/qualified_class_of.hpp>
14 struct is_substitution_failure_qualified_class_of
{
17 static auto test(...) -> std::true_type
;
20 typename
std::remove_reference
<
21 TRAIT(qualified_class_of
, A
)>::type
* = nullptr>
22 static auto test(int) -> std::false_type
;
24 static constexpr bool value
= decltype(test
<T
>(0))::value
;
33 CT_ASSERT(is_substitution_failure_qualified_class_of
<decltype(lambda
)>::value
);
34 CT_ASSERT(is_substitution_failure_qualified_class_of
<decltype(lambda
)&>::value
);
35 CT_ASSERT(is_substitution_failure_qualified_class_of
<void>::value
);
36 CT_ASSERT(is_substitution_failure_qualified_class_of
<void*>::value
);
37 CT_ASSERT(is_substitution_failure_qualified_class_of
<int>::value
);
38 CT_ASSERT(is_substitution_failure_qualified_class_of
<int &>::value
);
39 CT_ASSERT(is_substitution_failure_qualified_class_of
<int()>::value
);
40 CT_ASSERT(is_substitution_failure_qualified_class_of
<int(*)()>::value
);
41 CT_ASSERT(is_substitution_failure_qualified_class_of
<int(**)()>::value
);
42 CT_ASSERT(is_substitution_failure_qualified_class_of
<int(&)()>::value
);
43 CT_ASSERT(is_substitution_failure_qualified_class_of
<int (* const &)()>::value
);
44 CT_ASSERT(!is_substitution_failure_qualified_class_of
<int (foo::* &)()>::value
);
45 CT_ASSERT(!is_substitution_failure_qualified_class_of
<int (foo::* const)()>::value
);
46 CT_ASSERT(!is_substitution_failure_qualified_class_of
<int (foo::* const &)()>::value
);
47 CT_ASSERT(!is_substitution_failure_qualified_class_of
<int (foo::* volatile)()>::value
);
48 CT_ASSERT(is_substitution_failure_qualified_class_of
<int (foo::**)()>::value
);
49 CT_ASSERT(is_substitution_failure_qualified_class_of
<int (foo::* const *)()>::value
);
50 CT_ASSERT(is_substitution_failure_qualified_class_of
<int (foo::* volatile *)()>::value
);