Request for Comment assert(__ctfe)

[Petar]

On Wednesday, 8 April 2020 at 20:07:49 UTC, Johannes Pfau wrote:
> Am Wed, 08 Apr 2020 15:07:32 +0000 schrieb Petar Kirov 
> [ZombineDev]:
>
>> ---------------------------
>> 
>> In this way we tell the compiler to compile the exported 
>> function in `bar` as well as any other functions that they may 
>> call.
>
> Thanks for taking the time to write such a detailed answer. I 
> think I'll have to spend some more time thinking about this to 
> convince myself that it really covers all cases.
>
> Anyway, a very interesting idea.

Thanks! I do realize that D compilation is a way more complicated 
process than my simplified model. My idea needs to be better 
formalized and to endure more scrutiny ;)