blob: 554738bf49b4864eb1b18da203a6a48a9702b504 [file] [log] [blame]
// Copyright (C) 2004 Free Software Foundation
// Contributed by Kriang Lerdsuwanakij <>
// { 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" }