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