Hmm, I'm not sure about this; it seems to me that we want to know about
the actual parameters that a particular specialization has, which in the
case of an explicit specialization is none. Or for a partial
specialization,
template <class T> struct A;
template <class T> struct A<T*> { }
A<int*> a;
here A<int*> has a type parameter named T, with the value 'int'. It
would be very surprising for T to resolve to int* in the debugger when
it resolves to int in the body of A<T*>.
Which suggests that perhaps we want to leave the template arguments in
the name after all.
Jason
