gcc/testsuite/g++.dg/template/ttp11.C

   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
   8 template <template <typename U, U* p> class T>
   9 struct X {};
  10
  11 template <template <typename U, U* p> class T>
  12 struct Y {
  13     X<T> x;
  14 };