static map as a type function

[Stefan Koch]

On Thursday, 24 September 2020 at 14:07:17 UTC, Andrei 
Alexandrescu wrote:
> 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!

classinfo.name works.
As well as equality between typeid objects.

to make everything work at ctfe you would have to duplicate the 
whole typeinfo generation code. At least naively that's what you 
would have to do.