1 // { dg-do assemble  }
2 
3 template <class T, int I>
4 struct S {
5 };
6 
7 template <int I>
8 struct S <double, I> {
9 };
10 
11 template <class T>
12 void f ()
13 {
14   S<double, T::x> s;
15 }
16