使用模板时可能是编译器中的SFINAE错误?

我想用标准代码来编写像std::is\u union这样的utils,我们知道类类型不能扩展union类型,这是错误的,所以有些代码是这样的

#include <iostream>
template<typename T>
class class_type_can_extends :public T{
public:
    using type = void;
};

template<typename T,typename U = void>
struct is_not_union:std::false_type {

};

template<typename T>
struct is_not_union < T, std::void_t<typename class_type_can_extends <T>::type >> :std::true_type {

};

class c_data{

};
union u_data{
};

int main(){
 /*#1*/  std::cout<< is_not_union<c_data>::value<<std::endl; /*print true*/
 /*#2*/  std::cout<< is_not_union<u_data>::value<<std::endl; /*this code make 
         all complier error*/
}

g++打印错误:

main.cpp: In instantiation of ‘class class_type_can_extends<u_data>’:
main.cpp:26:43:   recursively required by substitution of ‘template<class T> struct is_not_union<T, std::void_t<typename class_type_can_extends<T>::type> > [with T = u_data]’
main.cpp:26:43:   required from here
main.cpp:3:7: error: base type ‘u_data’ fails to be a struct or class type
 class class_type_can_extends :public T { 

main.cpp:3:38: error: unions cannot be base classes
class class_type_can_extends :public T {
                              ~~~~~~~^
main.cpp:14:47: note: in instantiation of template class 'class_type_can_extends<u_data>' requested here
struct is_not_union < T, std::void_t<typename class_type_can_extends <T>::type >> :std::true_type {
                                              ^
main.cpp:26:23: note: during template argument deduction for class template partial specialization 'is_not_union<T,
      std::void_t<typename class_type_can_extends<T>::type> >' [with T = u_data]
        /*#2*/  std::cout << is_not_union<u_data>::value << std::endl; /*this code make
                             ^
main.cpp:26:23: note: in instantiation of template class 'is_not_union<u_data, void>' requested here
1 error generated.

错误C2569