1// PR c++/39608
2// We were improperly considering dependent members of the current
3// instantiation to be non-constant (and therefore invalid template
4// non-type arguments).
5
6template <int I>
7struct C {};
8
9template <class T>
10struct A
11{
12  static const T x = 1;
13  C<A<T>::x> c;			// { dg-bogus "invalid" }
14};
15
16A<int> a;
17