Typeinfo

[Andrei Alexandrescu via Digitalmars-d]

Hey folks, is there any way to figure out whether a type is immutable or 
shared given its typeinfo? I see there's only the flags() method that 
doesn't tell that. I'm thinking we'd do good to extend that.

This is needed for allocators. I'm thinking an allocator might be 
interested at creation time to use different allocation strategies for 
qualified types, especially shared ones.


Thanks,

Andrei