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