Folgender Code:

template <typename T>
struct X
{
	template <typename U>
	using Y = U;
};

template <typename T>
struct Other
{
	using Type = ::template X<T>::Y<T>; // ???
};

using ForceInstantiation = Other<int>::Type;

Wie greife ich bei der kommentierten Zeile auf das nested typedef zu? Ich habe es sowohl mit template, typename, als auch ohne Keyword probiert und keines der drei funktioniert.

http://ideone.com/P78eOy
http://ideone.com/buzrzl
http://ideone.com/wLwukF

Gruesse
Der Kellerautomat

template class Other<int>;

X ist kein abhängiger Bezeichner, darum muss dort kein template hin, jedoch selbstverständlich für Y, und weil Y auch ein Funktionstemplate (oder seit C++14 auch Variablentemplate) sein könnte, muss da noch ein typename sein (§14.6/2 gilt für alle abhängigen Namen).