update sources to v12.2.3

[ceph.git] / ceph / src / boost / libs / callable_traits / test / remove_transaction_safe_constraints.cpp

/*\r
Copyright Barrett Adair 2016-2017\r
\r
Distributed under the Boost Software License, Version 1.0.\r
(See accompanying file LICENSE.md or copy at http ://boost.org/LICENSE_1_0.txt)\r
\r
*/\r
\r
#include <boost/callable_traits/remove_transaction_safe.hpp>\r
#include <tuple>\r
#include "test.hpp"\r
\r
#ifndef BOOST_CLBL_TRTS_ENABLE_TRANSACTION_SAFE\r
int main(){}\r
#else\r
\r
template<typename T>\r
struct is_substitution_failure_remove_tx_safe {\r
\r
    template<typename>\r
    static auto test(...) -> std::true_type;\r
\r
    template<typename A,\r
        typename std::remove_reference<\r
            TRAIT(remove_transaction_safe, A)>::type* = nullptr>\r
    static auto test(int) -> std::false_type;\r
\r
    static constexpr bool value = decltype(test<T>(0))::value;\r
};\r
\r
struct foo;\r
\r
int main() {\r
\r
    auto lambda = [](){};\r
\r
    CT_ASSERT(is_substitution_failure_remove_tx_safe<decltype(lambda)>::value);\r
    CT_ASSERT(is_substitution_failure_remove_tx_safe<decltype(lambda)&>::value);\r
    CT_ASSERT(is_substitution_failure_remove_tx_safe<int>::value);\r
    CT_ASSERT(is_substitution_failure_remove_tx_safe<int &>::value);\r
    CT_ASSERT(is_substitution_failure_remove_tx_safe<int (* const &)()>::value);\r
    CT_ASSERT(is_substitution_failure_remove_tx_safe<int (foo::* &)()>::value);\r
    CT_ASSERT(is_substitution_failure_remove_tx_safe<int (foo::* const)()>::value);\r
    CT_ASSERT(is_substitution_failure_remove_tx_safe<int (foo::* const &)()>::value);\r
    CT_ASSERT(is_substitution_failure_remove_tx_safe<int (foo::* volatile)()>::value);\r
    CT_ASSERT(is_substitution_failure_remove_tx_safe<void>::value);\r
    CT_ASSERT(is_substitution_failure_remove_tx_safe<void*>::value);\r
    CT_ASSERT(is_substitution_failure_remove_tx_safe<void(**)()>::value);\r
}\r
\r
#endif //#ifndef BOOST_CLBL_TRTS_ENABLE_TRANSACTION_SAFE\r