#include <iostream>
#include <type_traits>

using namespace std;

struct S { void function() { std::cout << __PRETTY_FUNCTION__ << '\n'; } };

//template <typename TYPE>
constexpr bool my_test(void (S::*s)()) {
	auto a = s;
	return is_same<decltype(a), void()>::value;
}


int main() {
    std::cout << "a " << my_test(&S::function);
	// your code goes here
	return 0;
}