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

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

Ну, это-то понятно, но если судить по объявлению primary template, пытались сделать имненно приведение.

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

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

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