static map as a type function

[Andrei Alexandrescu]

On 9/24/20 2:49 AM, Stefan Koch wrote:
> On Thursday, 24 September 2020 at 05:13:49 UTC, Andrei Alexandrescu wrote:
>>
>> * Currently mixin closes the circle by taking back the typeid to the 
>> type it started from. It would be nice to have something better, e.g. 
>> t.Type would just be the type.
> 
> This would make typeid polymorphic in other words a template.
> 
>> * In the current implementation values returned by typeid() cannot be 
>> read during compilation.
> 
> Wrong. parts of typeid can be read by ctfe.
> I extended this functionality myself.

Great. Can you please elaborate a little? What bits work and what bits 
don't? Thanks!