static map as a type function

[Stefan Koch]

On Thursday, 24 September 2020 at 16:18:22 UTC, Bruce Carneal 
wrote:
> 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?

1 and 2 confirmed!