Как работает std::enable_if без явного указания типа?

template<bool Cond, class T = void> struct enable_if {};

class T = void

#include <type_traits>

template <typename T>
struct TestEi
{
    typedef typename std::enable_if<std::is_integral<T>::value>::type type;
};

int main()
{
    TestEi<double> testEiNoIntegral;
    return 0;
}

static_assert(std::is_same<TestEi<int>::type, void>::value, "Not a void");