1template <class T> 2class A 3{ 4 typedef T I; 5}; 6 7template <class T> 8void f(typename T::I); 9 10template <class T> 11void f(int); 12 13int main() 14{ 15 f<A<float> > (1); 16} 17