1 // { dg-options "-Wabi -fabi-version=1" }
2 
3 template <template <typename> class Q>
f(typename Q<int>::X)4 void f (typename Q<int>::X) {} // { dg-warning "mangle" }
5 
6 template <typename Q>
7 struct S {
8   typedef int X;
9 };
10 
11 template void f<S> (int);  // { dg-message "required" }
12