Добавить сообщения об ошибках компиляции в макрос SFINAE

Я играю с SFINAE, но я пытаюсь получить значимую ошибку компилятора информация при работе с кодом, сгенерированным макросами. Я использовал ЭТОТ ответ, чтобы выполнить следующее: (Я хочу проверить с помощью member_test (a), есть ли у типа A ранее определенные члены)

//Check for member variable with given name.
#define CREATE_MEMBER_VAR_CHECK(var_name)                                   \
                                                                            \
template<typename T, typename = std::true_type>                             \
struct has_member_var_##var_name : std::false_type {};                      \
                                                                            \
template<typename T>                                                        \
struct has_member_var_##var_name<                                           \
    T                                                                       \
    , std::integral_constant<                                               \
        bool, std::is_member_object_pointer<decltype(&T::var_name)>::value  \
    >                                                                       \
> : std::true_type {};

#define MEMB_CHECK_WRAPPER(r, data,  elem) CREATE_MEMBER_VAR_CHECK(elem)


#define CREATE_ENABLE_IF_CLAUSE(var_name)                       \
  class = typename std::enable_if<has_member_var_##var_name<T>::value>::type

#define ENABLE_IF_CLAUSE_WRAPPER(r, data, i, elem)               \
            BOOST_PP_COMMA_IF(i) CREATE_ENABLE_IF_CLAUSE(elem)


#define TO_MEMBER_TEST(member_seq)                                               \
            BOOST_PP_SEQ_FOR_EACH(MEMB_CHECK_WRAPPER, _, member_seq)             \
                                                                                 \
            template < typename T,                                               \
                BOOST_PP_SEQ_FOR_EACH_I(ENABLE_IF_CLAUSE_WRAPPER, _, member_seq) \
            >                                                                    \
            void member_test(const T & )                                         \
            {                                                                    \
                std::cout << "works!!\n\n";                                      \
            }

Когда я сделаю следующее, все будет хорошо:

TO_MEMBER_TEST((x)(y)(z))

struct A { int x, y, z; };


int main(int argc, char const *argv[])
{
    A a;
    member_test(a);
}

Однако, когда я использую вместо этого TO_MEMBER_TEST((x)(y)(z)(dummy)), код не компилируется (как и предполагалось), потому что member_test (A &) больше не определен, потому что A.dummy не существует. Компилятор выдаст мне что-то вроде: ошибка вывода / подстановки аргументов шаблона: ошибка: нет типа с именем 'type' в 'struct std :: enable_if'

Как я могу сказать что-то вроде «пустого члена нет». вместо этого (например, со static_asserts)?