[с++, SFINAE] is_complete

[_Bers]

Всем привет!
Нужно сделать детектилку времени компиляции : является ли тип неполным.

Я себе уже голову сломал. Гугл молчит (точнее там конечно болванок немерено, но все они примитивные и мой тест не прошли).


В кратце суть:

http://rextester.com/SZYG98724

#include <iostream>

template <typename T> struct is_complete_helper 
{
    template <typename U>
        static auto test( U*, bool dummy=sizeof(U)) -> std::true_type;        
        
    static auto test(...) -> std::false_type;

    using type = decltype(test( (T*)0 ) );
    
};

template <typename T>
    struct is_complete : is_complete_helper<T>::type {};


struct some;

typedef std::pair<int,some> Pair;

int main()
{
    std::cout << is_complete<Pair>::value << std::endl; 
}

Здесь нафиг вылетает sfinae.
Единственная идея, которую я смог придумать - это пропасти, что если исследуемый тип - шаблон, тогда пропасти неполность всех его формальных параметров.

Конкретно для std:air это сработает. Но заваливает следующий тест:

...

struct some;

template<class T> agregat{};

typedef agregat<some> rabbit;   //<--- полный тип, несмотря на то, что параметр шаблона не полный

int main()
{
    //<--- реализацию is_complete для теста параметров не привожу - много буковок, все равно она тест провалила

    std::cout << is_complete<rabbit>::value << std::endl; //<--- ошибка: из-за того, что параметр T оказался не полным посчитала всего кролика не полным.
}

Нужны идеи.