1 // PR c++/66686
2 
3 template <int>
4 struct Y { };
5 
6 template <class B, template <template <B> class Z> class C>
7 struct X
8 {
9   C<Y> a;  // { dg-bogus "mismatch" }
10 };
11 
12 template <template <int> class>
13 struct A { };
14 
15 X<int, A> a;
16