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