1 // Copyright (C) 2003 Free Software Foundation
2 // Contributed by Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
3 // { dg-do compile }
4 
5 // PR c++/13289: Incorrectly reject non-type template argument that has
6 // dependent type
7 
8 template <class T, T t> class C {};
9 template <class T, T t> class D { C<T, t-1> c; };
10