1 2 3 4 5 6 7 8 9 10 11 12 13
// { dg-options "-fabi-version=0" } template <template <typename> class Q> void f (typename Q<int>::X) {} template <typename Q> struct S { typedef int X; }; template void f<S> (int); // { dg-final { scan-assembler _Z1fI1SEvNT_IiE1XE } }