static map as a type function

[Bruce Carneal]

On Thursday, 24 September 2020 at 15:59:51 UTC, Stefan Koch wrote
On Thursday, 24 September 2020 at 15:59:51 UTC, Stefan Koch wrote:
>
> Oh and typeinfo has to be generated eagerly!
> Whereas the current way it works with ctfe is lazy.
> Which means as long as nothing else requires typeinfo, using it 
> at CTFE does not require you to generate it.
> So code that only uses type info at ctfe does compile with 
> -betterC.

So, to confirm:

1) type functions, as proposed, will work with -betterC? and, 
related

2) type functions leave no footprint in .o files?