1 // Copyright (C) 2004 Free Software Foundation
2 // Contributed by Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
3 // { dg-do compile }
4 
5 // Check the type of non-type parameter in template template parameter
6 // only if it is dependent.
7 
8 template <template <int* p> class T>
9 struct X {};
10 
11 template <typename U, template <U* p> class T>
12 struct Y {
13     X<T> x;
14 };
15 
16 template <int* p> struct Z {};
17 
18 Y<int, Z> y1;
19 Y<char, Z> y2;		// { dg-error "mismatch|expected|invalid" }
20