1 template <typename T> struct S; 2 c(T)3 template<typename T> void c(T) 4 { 5 } 6 7 template <> struct S <int> 8 { 9 void a() 10 { 11 c(&S<int>::b); 12 } 13 void b() {} 14 }; 15