On 05/24/2011 05:59 AM, Jason Merrill wrote:
> It occurred to me today that I could use current_class_name rather 
> than TYPE_IDENTIFIER (current_class_type).
Thus I suppose the below is also ok and obvious? To be safe, I'm testing 
it on x86_64-linux.

Paolo.

//////////////////////