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