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 
6 template <int I>
7 struct C {};
8 
9 template <class T>
10 struct A
11 {
12   static const T x = 1;
13   C<A<T>::x> c;			// { dg-bogus "invalid" }
14 };
15 
16 A<int> a;
17