One step out of the TypeInfo stalemate

[Alexandru Ermicioi]

On Wednesday, 29 July 2020 at 17:36:56 UTC, Paul Backus wrote:
> It's also a bit less efficient. A __traits expression is 
> essentially a single function call inside the compiler. Using 
> TypeInfo requires CTFE and/or template instantiation, so 
> switching std.traits to it would make compile times (slightly) 
> longer.

Not switching, but moving. There are some methods that would 
really make sense for them to be part of type info.