Y>>1  template <class T>
Y>>2  struct Template
Y>>3  {
Y>>4      typedef int Val;
Y>>5      Val fun(void);
Y>>6  };
Y>>7  
Y>>8  template <class T>
Y>>9  typename Template<T>::Val Template<T>::fun(void)
Y>>10 {
Y>>11 }
Y>>