// Copyright (C) 2004 Free Software Foundation // Contributed by Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net> // { dg-do compile } // Check the type of non-type parameter in template template parameter // only if it is dependent. template <template <int* p> class T> struct X {}; template <typename U, template <U* p> class T> struct Y { X<T> x; }; template <int* p> struct Z {}; Y<int, Z> y1; Y<char, Z> y2; // { dg-error "mismatch|expected|invalid" }