1// { dg-do run  }
2template <class T, template <class T> class C>
3struct X
4{};
5
6template <class T>
7struct Y
8{};
9
10template <class T>
11struct Z
12{};
13
14template <class T>
15struct X<T,Y>
16{};
17
18int main()
19{
20  X<int,Y> a;
21  X<int,Z> b;
22}
23