не является ли пакет параметров без типа, который считается недействительным, незаконным?

gcc-4.8 принимает этот код, но разве это не неправильно, поскольку пакет параметров без типа эквивалентен void..., что является недопустимым?

template <typename T,
          typename std::enable_if<std::is_integral<T>::value>::type...>
void test(T) {}

Я пробовал это с clang-3.5, который тоже принимает это. Это ошибка компилятора или я что-то не понимаю?

Полный тестовый код ниже, в котором используются пустые пакеты параметров без типа для упрощения enable_if. Это почти то же самое, что и в Remastered enable_if Flaming Dangerzone, за исключением того, что после замены пакет становится void....

#include <type_traits>

template < typename C >
using enable_if_t = typename std::enable_if<C::value>::type ;

template < typename T, enable_if_t<std::is_integral<T>>... >
void test(T){} // #1

template < typename T, enable_if_t<std::is_floating_point<T>>... >
void test(T){} //#2

int main()
{
   test(0);   // calls #1
   test(0.0); // calls #2
   return 0;
}

gcc-4.8 отлично компилирует приведенный выше код. clang не работает, но это потому, что у него другая ошибка http://llvm.org/bugs/show_bug.cgi?id=11723.