// { dg-do assemble } template <int I> void f(); template <> void f<4>() {} template <class T> struct S { enum E { a = 1, b = a + 3 }; }; int main() { f<S<int>::b>(); }