TypeInfo in the library

[bearophile]

Walter Bright:

> On 2/13/2014 4:42 PM, Adam D. Ruppe wrote:
>> If I'm not missing anything, these three changes would let us 
>> completely define
>> (or not define) type info in the library without breaking 
>> anything we have now!
>
> It's a good idea worth exploring.

And at this stage of the D life it's acceptable to even have tiny 
breaking changes, if they give back significant good things. A 
purely library implementation of TypeInfo could bring some 
advantages.

Bye,
bearophile