1 2 3 4 5 6 7 8 9 10 11
// PR c++/56543 template <typename> struct S; template <typename T> struct U { typedef typename S <T>::template V <> W; S <W> x; };