One step out of the TypeInfo stalemate

[Adam D. Ruppe]

On Tuesday, 28 July 2020 at 14:28:09 UTC, Andrei Alexandrescu 
wrote:
> More progress - now __typeid comes with statically-typed 
> overloads, so whenever T is statically known, 
> typeid(T).whatever() will pick an efficient inlined 
> implementation instead of a virtual call.

What's potentially interesting here is you *might* be able to add 
an alias StaticType = T in there and then do some pseudo-type 
manipulation in CTFE then get the original type back out.

Probably not there yet and might never get there but I think it 
would be cool if it did somehow work at some point.