I have the following program -
class foo { typedef foo type; }; template using type_t = typename A::type; template