1// { dg-do assemble  }
2
3template <class T, class U>
4struct Y {};
5
6template <class T>
7struct X {};
8
9template <class T, class U>
10void f()
11{
12  typename X<Y<T, U> >::A a;
13}
14
15template <class T, class U>
16struct X<Y<T, U> >
17{
18};
19