Knowledge of managed memory pointers

[Yota via Digitalmars-d]

On Saturday, 19 April 2014 at 10:30:42 UTC, Jacob Carlborg wrote:
> On 2014-04-17 16:59, Steven Schveighoffer wrote:
>
>> I don't think this is a viable mechanism to check pointers. 
>> It's too slow.
>
> Couldn't a single bit be used to indicate if it's a GC pointer 
> or not?

I think he's hoping more for the static type system to
provide the information.  I think it would be nifty if
the fancy layered allocators that were being designed
would return pointers with types describing the allocator
itself.  Could this sort of info be useful in shared libs?