#include <typeinfo>

namespace {
  struct X { typedef int T; };
}

template <typename X>
struct Y : public X {
};

template <typename X>
const std::type_info& f() {
  return typeid (X);
}

int main () {
  f<Y<X> > ();
}