// Copyright (C) 2003 Free Software Foundation
// Contributed by Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
// { dg-do compile }

// PR c++/13289: Incorrectly reject non-type template argument that has
// dependent type

template <class T, T t> class C {};
template <class T, T t> class D { C<T, t-1> c; };