1// { dg-do compile }
2
3// Origin: heinlein@informatik.uni-ulm.de
4
5// PR c++/14429: Matching of template template parameter containing
6// non-type parameter with type that depends on earlier parameter.
7
8template <template <typename U, U* p> class T>
9struct X {};
10
11template <template <typename U, U* p> class T>
12struct Y {
13    X<T> x;
14};
15