static map as a type function

[Stefan Koch]

On Thursday, 24 September 2020 at 15:54:55 UTC, Adam D. Ruppe 
wrote:
> On Thursday, 24 September 2020 at 14:36:45 UTC, Stefan Koch 
> wrote:
>> Let me show you the code that does only typeid.name
>
> What if TypeInfo was templated instead of magically generated? 
> So the compiler doesn't need to do all this stuff.

You still have to instantiate all those templates and do it 
correctly.
Which means the compiler needs some way of exposing all the 
information via the templates system.

Which essentially requires the same code.