Hi,
This would be a really weird language feature and I don't think it would be particularly useful or helpful.
I'm dubious of the claim that people would do this in any widespread way. Most people would never care about the mangled name and demangles are easy to use. Any half-decent debugger will demangle symbols automatically, fwiw.
>
What if the original typedef could be rewritten as:
> typedef vector<int> IntVec <=> mangle("IntVec");
This wouldn't work, it would break ABI.
>
class IntVec : public vector<int> <=> mangled("SomeOtherName")
Why would you need to do that if you could specify the mangling of your typedef?
Cheers,
Jeremy