#include <boost/callable_traits/apply_member_pointer.hpp>

#include "test.hpp"

struct foo;

template<typename Input, typename Output>

void test_case() {

assert_same<TRAIT(apply_member_pointer, Input, foo), Output>();

}

int main() {

test_case<int(), int(foo::*)() >();

#ifndef BOOST_CLBL_TRTS_DISABLE_ABOMINABLE_FUNCTIONS

test_case<int() TX_SAFE, int(foo::*)() TX_SAFE >();

test_case<int() LREF, int(foo::*)() LREF >();

test_case<int() LREF TX_SAFE, int(foo::*)() LREF TX_SAFE >();

test_case<int() RREF, int(foo::*)() RREF >();

test_case<int() RREF TX_SAFE, int(foo::*)() RREF TX_SAFE >();

test_case<int() const, int(foo::*)() const >();

test_case<int() const TX_SAFE, int(foo::*)() const TX_SAFE >();

test_case<int() const LREF, int(foo::*)() const LREF >();

test_case<int() const LREF TX_SAFE, int(foo::*)() const LREF TX_SAFE >();

test_case<int() const RREF, int(foo::*)() const RREF >();

test_case<int() const RREF TX_SAFE, int(foo::*)() const RREF TX_SAFE >();

test_case<int() volatile, int(foo::*)() volatile >();

test_case<int() volatile TX_SAFE, int(foo::*)() volatile TX_SAFE >();

test_case<int() volatile LREF, int(foo::*)() volatile LREF >();

test_case<int() volatile LREF TX_SAFE, int(foo::*)() volatile LREF TX_SAFE >();

test_case<int() volatile RREF, int(foo::*)() volatile RREF >();

test_case<int() volatile RREF TX_SAFE, int(foo::*)() volatile RREF TX_SAFE >();

#endif

test_case<int(int), int(foo::*)(int) >();

#ifndef BOOST_CLBL_TRTS_DISABLE_ABOMINABLE_FUNCTIONS

test_case<int(int) TX_SAFE, int(foo::*)(int) TX_SAFE >();

test_case<int(int) LREF, int(foo::*)(int) LREF >();

test_case<int(int) LREF TX_SAFE, int(foo::*)(int) LREF TX_SAFE >();

test_case<int(int) RREF, int(foo::*)(int) RREF >();

test_case<int(int) RREF TX_SAFE, int(foo::*)(int) RREF TX_SAFE >();

test_case<int(int) const, int(foo::*)(int) const >();

test_case<int(int) const TX_SAFE, int(foo::*)(int) const TX_SAFE >();

test_case<int(int) const LREF, int(foo::*)(int) const LREF >();

test_case<int(int) const LREF TX_SAFE, int(foo::*)(int) const LREF TX_SAFE >();

test_case<int(int) const RREF, int(foo::*)(int) const RREF >();

test_case<int(int) const RREF TX_SAFE, int(foo::*)(int) const RREF TX_SAFE >();

test_case<int(int) volatile, int(foo::*)(int) volatile >();

test_case<int(int) volatile TX_SAFE, int(foo::*)(int) volatile TX_SAFE >();

test_case<int(int) volatile LREF, int(foo::*)(int) volatile LREF >();

test_case<int(int) volatile LREF TX_SAFE, int(foo::*)(int) volatile LREF TX_SAFE >();

test_case<int(int) volatile RREF, int(foo::*)(int) volatile RREF >();

test_case<int(int) volatile RREF TX_SAFE, int(foo::*)(int) volatile RREF TX_SAFE >();

#endif

#ifndef BOOST_CLBL_TRTS_OLD_MSVC

test_case<int(...), int(foo::*)(...) >();

#ifndef BOOST_CLBL_TRTS_DISABLE_ABOMINABLE_FUNCTIONS

test_case<int(...) TX_SAFE, int(foo::*)(...) TX_SAFE >();

test_case<int(...) LREF, int(foo::*)(...) LREF >();

test_case<int(...) LREF TX_SAFE, int(foo::*)(...) LREF TX_SAFE >();

test_case<int(...) RREF, int(foo::*)(...) RREF >();

test_case<int(...) RREF TX_SAFE, int(foo::*)(...) RREF TX_SAFE >();

test_case<int(...) const, int(foo::*)(...) const >();

test_case<int(...) const TX_SAFE, int(foo::*)(...) const TX_SAFE >();

test_case<int(...) const LREF, int(foo::*)(...) const LREF >();

test_case<int(...) const LREF TX_SAFE, int(foo::*)(...) const LREF TX_SAFE >();

test_case<int(...) const RREF, int(foo::*)(...) const RREF >();

test_case<int(...) const RREF TX_SAFE, int(foo::*)(...) const RREF TX_SAFE >();

test_case<int(...) volatile, int(foo::*)(...) volatile >();

test_case<int(...) volatile TX_SAFE, int(foo::*)(...) volatile TX_SAFE >();

test_case<int(...) volatile LREF, int(foo::*)(...) volatile LREF >();

test_case<int(...) volatile LREF TX_SAFE, int(foo::*)(...) volatile LREF TX_SAFE >();

test_case<int(...) volatile RREF, int(foo::*)(...) volatile RREF >();

test_case<int(...) volatile RREF TX_SAFE, int(foo::*)(...) volatile RREF TX_SAFE >();

#endif //#ifndef BOOST_CLBL_TRTS_DISABLE_ABOMINABLE_FUNCTIONS

test_case<int(int, ...), int(foo::*)(int, ...) >();

#ifndef BOOST_CLBL_TRTS_DISABLE_ABOMINABLE_FUNCTIONS

test_case<int(int, ...) TX_SAFE, int(foo::*)(int, ...) TX_SAFE >();

test_case<int(int, ...) LREF, int(foo::*)(int, ...) LREF >();

test_case<int(int, ...) LREF TX_SAFE, int(foo::*)(int, ...) LREF TX_SAFE >();

test_case<int(int, ...) RREF, int(foo::*)(int, ...) RREF >();

test_case<int(int, ...) RREF TX_SAFE, int(foo::*)(int, ...) RREF TX_SAFE >();

test_case<int(int, ...) const, int(foo::*)(int, ...) const >();

test_case<int(int, ...) const TX_SAFE, int(foo::*)(int, ...) const TX_SAFE >();

test_case<int(int, ...) const LREF, int(foo::*)(int, ...) const LREF >();

test_case<int(int, ...) const LREF TX_SAFE, int(foo::*)(int, ...) const LREF TX_SAFE >();

test_case<int(int, ...) const RREF, int(foo::*)(int, ...) const RREF >();

test_case<int(int, ...) const RREF TX_SAFE, int(foo::*)(int, ...) const RREF TX_SAFE >();

test_case<int(int, ...) volatile, int(foo::*)(int, ...) volatile >();

test_case<int(int, ...) volatile TX_SAFE, int(foo::*)(int, ...) volatile TX_SAFE >();

test_case<int(int, ...) volatile LREF, int(foo::*)(int, ...) volatile LREF >();

test_case<int(int, ...) volatile LREF TX_SAFE, int(foo::*)(int, ...) volatile LREF TX_SAFE >();

test_case<int(int, ...) volatile RREF, int(foo::*)(int, ...) volatile RREF >();

test_case<int(int, ...) volatile RREF TX_SAFE, int(foo::*)(int, ...) volatile RREF TX_SAFE >();

#endif //#ifndef BOOST_CLBL_TRTS_DISABLE_ABOMINABLE_FUNCTIONS

#endif //#ifndef BOOST_CLBL_TRTS_OLD_MSVC

}