1 /*<-
2 Copyright (c) 2016 Barrett Adair
3
4 Distributed under the Boost Software License, Version 1.0.
5 (See accompanying file LICENSE.md or copy at http://boost.org/LICENSE_1_0.txt)
6 ->*/
7
8 #include <boost/callable_traits/apply_member_pointer.hpp>
9 #include "test.hpp"
10
11 struct foo;
12
13 template<typename T, typename U>
14 struct is_substitution_failure_apply_member_pointer {
15
16 template<typename, typename>
17 static auto test(...) -> std::true_type;
18
19 template<typename A, typename B,
20 typename std::remove_reference<
21 TRAIT(apply_member_pointer, A, B)>::type* = nullptr>
22 static auto test(int) -> std::false_type;
23
24 static constexpr bool value = decltype(test<T, U>(0))::value;
25 };
26
main()27 int main() {
28 CT_ASSERT(is_substitution_failure_apply_member_pointer<void, foo>::value);
29 CT_ASSERT(is_substitution_failure_apply_member_pointer<int, int>::value);
30 CT_ASSERT(is_substitution_failure_apply_member_pointer<void, int>::value);
31 }
32
33