Здравствуйте, vopl, Вы писали:

V>Это не приведение к void, это тип функция void(Arg), и если основной шаблон чуть подправить то это все работает

Это понятно, что можно реализовать и так и эдак, но если судить по объявлению primary template, похоже, пытались сделать имненно приведение. Хотя, даже если бы это приведение удалось, все равно вышел бы облом, поскольку шаблон ожидает тип, в качестве параметра