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