Во время компиляции определить, является ли тип полным

#include <type_traits>
 
//Здесь используется модель класса "IsValidExpression"
//Ссылка на первоисточник, и большое спасибо автору за идею:
//http://habrahabr.ru/post/112239/
 
//Примечание: авторский код не безупречен
//содержит технические ошибки, и фейлит многие тесты
 
#define SHECK_VALID_EXPRESSION( dNAME, dEXPRESSION ) \
template< class T > class dNAME                      \
{                                                    \
    struct no{};                                     \
    template< class U >                              \
        static decltype( dEXPRESSION )               \
            test( void* );                           \
    template< class U >                              \
        static no test( ... );                       \
    typedef decltype( test<T>(nullptr) )             \
        result;                                      \
public:                                              \
    enum { value =                                   \
        !std::is_same<no, result>::value };          \
};
 
 
#include <iostream>
#include <utility>
 
struct nocomplete;
struct complete{};
 
typedef std::pair<double, nocomplete>
    pair_nocomplete;
 
typedef std::pair<int, complete>
    pair_complete;
 
 
//-----------------------------------------------
template<class T> void fake(T);
SHECK_VALID_EXPRESSION( IsComplete, fake(U()) );
//-----------------------------------------------
 
int main()
{
    std::cout<<"WELLCOME TO EXAMPLE APPLICATION!\n";
    
    //электроны изменяют своё поведение в зависимости от того, 
    //наблюдает ли кто за ними
    
    std::cout<<"is complete 'nocomplete' ? (must be 0) - "
        << IsComplete<nocomplete>::value<<'\n';
 
    std::cout<<"is complete 'complete' ? (must be 1) - "
        << IsComplete<complete>::value<<'\n';
 
    // Ошибка: "эффект электрона". 
    // Если закомментировать отладочный вывод для pair_nocomplete, 
    // то поведение изменится и станет корректным
    
    std::cout<<"is complete 'pair_nocomplete' ? (must be 0) - "
        << IsComplete<pair_nocomplete>::value<<'\n';
 
    std::cout<<"is complete 'pair_complete' ? (must be 1) - "
        << IsComplete<pair_complete>::value<<'\n';
        
    
    // не полный тип не может быть создан.
    // такое странное поведение наблюдается 
    // только на компиляторах вижал студии
    
    pair_nocomplete pr;  //<--- what the fuck ???????
    pr.second = 20;      
 
    std::cout<<"first = "  << pr.first  <<'\n'; 
    std::cout<<"second = " << pr.second <<'\n'; 
    
    // тип second почему то интерпритируется, как тип int
    // если расскоментировать, получим ошибку:
    // error C2062: type 'int' unexpected
    //std::cout<<"type of second = " << decltype(pr.second).name() <<'\n'; 
    
    //Предварительное заключение:
    //  каким то образом, инстанцирование IsComplete<pair_nocomplete>::value
    //  приводит к сбою в работе компилятора.
    
}

IsComplete<pair_nocomplete>::value

template <class T1, class T2> class IsComplete< std::pair<T1, T2> > {
public:
    enum { value = IsComplete<T1>::value && IsComplete<T2>::value };
};

template<class T1, class T2> 
struct Pair{};
 
...
 
struct nocomplete;
 
typedef Pair<int, nocomplete>
    pair_complete;   //<---- будет полным типом независимо от параметров шаблона