One step out of the TypeInfo stalemate

[Andrei Alexandrescu]

On 7/25/20 1:11 PM, Stefan Koch wrote:
> On Saturday, 25 July 2020 at 16:34:07 UTC, Andrei Alexandrescu wrote:
>> I think this has been attempted before. The TypeInfo* classes in 
>> object.d are one gnarly thing after another:
>>
>> [...]
> 
> We should just complete the type info and increase the usefulness.
> Removing it makes very little sense to me.

This is not proposing removal.