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