// Build don't link: template <class T, class U> struct Y {}; template <class T> struct X {}; template <class T, class U> void f() { typename X<Y<T, U> >::A a; } template <class T, class U> struct X<Y<T, U> > { };