What type functions mean on a language level

[Stefan Koch]

On Saturday, 2 January 2021 at 17:28:20 UTC, sighoya wrote:
>
> My thought is to reuse existing structures.

So now in templates you write sizeof and in typefunctions you 
write tsize?
In  a template you write alingof and in a typefunction you have 
to write talign?
That's needlessly increasing surface knowledge one needs to have.

Yes I can see the appeal but in this case I think it's a 
misplaced urge to reuse existing structure.

The reason that the existing structure typeinfo is not used much 
at all is because it's less appealing than using the template 
approach, even if that has other issues.