Почему вывод типов не выполняется для (не указателя) типов функций

Начиная с некоторого кода метапрограммирования:

template<class... Ts>
class list {}; //a generic container for a list of types

template<class in_list_type>
class front //get the type of the first template parameter
{
template<template<class...> class in_list_less_template_type, class front_type, class... rest_types>
static front_type deduce_type(in_list_less_template_type<front_type, rest_types...>*);
public:
typedef decltype(deduce_type((in_list_type*)nullptr)) type;
};

Этот код отлично работает для этого:

typedef typename front<list<int, float, char>>::type type; //type is int

Но не компилируется, когда первый элемент является типом функции:

// no matching function for call to 'deduce_type'
typedef typename front<list<void (), float, char>>::type type;

У меня есть только доступ к XCode на данный момент, и я не могу подтвердить, является ли это просто ошибкой XCode. Я использую XCode 4.5.1, использую компилятор Apple LLVM 4.1.