<div dir="ltr"><div><font face="monospace">template <class T><br></font></div><div><font face="monospace">void f() {<br>  // Case 1:<br>  typename T::template U<int>::type x;<br>  // 'T::template U<int>' in the NNS is a DependentTemplateSpecializationType.<br><br>  // Case 2:<br>  typename T::U::type y;<br>  // 'T::U' in the NNS is an Identifier. Why not a DependentNameType?<br>}</font><br></div><br></div>