явное создание шаблона дает ошибку компиляции на XLC, но работает на других компиляторах

Следующий код представляет собой упрощенную минимальную версию функции, которую я пытаюсь реализовать для требований клиента.

Он не может скомпилироваться на компиляторе IBM XLC (версии 9 и 11, обе) с ошибкой A non-type template parameter cannot have type "int X::*"., Тем не менее, я попробовал тот же код с g ++ 4.7.2, clang ++ 3.2 и Intel-13.0, и они успешно скомпилировали его.

Мне любопытно узнать, является ли XLC единственным здравым голосом здесь, или другие компиляторы верны?

struct X {
X() : y(123) {}
int y;
};

struct XFoo {
typedef int X::* Type;
};

template <typename Name, typename Name::Type value>
struct Bar {
typename Name::Type getValue(Name) {
return value;
}
};

template class Bar<XFoo, &X::y>;    // xlc error here, works fine on others

int main() {}

Я прочитал стандартную главу C ++ 2003 о шаблонах несколько раз, и не смог окончательно найти то, что запрещает использовать <type> <class>::* как не шаблонный тип. Я уже искал объяснения в SO и поисковых системах, но не нашел ни одного авторитетного источника, который бы помог мне решить.

Я понимаю, что это не может быть хорошей практикой кодирования, но это требуется для клиентского кода, поскольку их требования несколько уникальны. Я также попробовал различные другие альтернативы, но у них это не работает.