mangling type_info for local related types

[Alain Miniussi]

Hi,

By reading the spec, I'am not sure to understand how 
local types and type_info mangling interfere. It seems that,
with the current mangling, we have:

struct a_class {};

typeid(a_class) -> _ZN6a_classTIE

void a_func() {
  struct a_class {};
  typeid(a_class);   -> _ZZ5a_funcvEN6a_classTIE // local name
  typeid(a_class*);  -> _ZNPZ5a_funcvE6a_classTIE // non local
};

Is that the intended mangling ?

Alain