1 template <template <typename> class T> f(T<int>)2 void f(T<int>) {} 3 4 template <typename T> 5 union U {}; 6 g()7 void g() { 8 f(U<int>()); 9 } 10 11