// PR c++/39608
// We were improperly considering dependent members of the current
// instantiation to be non-constant (and therefore invalid template
// non-type arguments).

template <int I>
struct C {};

template <class T>
struct A
{
  static const T x = 1;
  C<A<T>::x> c;			// { dg-bogus "invalid" }
};

A<int> a;