Request for Comment assert(__ctfe)

[Stefan Koch]

On Sunday, 5 April 2020 at 13:26:22 UTC, Basile B. wrote:
> On Sunday, 5 April 2020 at 12:11:23 UTC, Stefan Koch wrote:
>> Hi Guys,
>>
>> [...]
>>
>> What do you guys think?
>>
>> Cheers,
>>
>> Stefan
>
> I'd prefer a new func attribute `@ctfe`.
> Also I find the current implementation unplesant. Cant you just 
> check the assertion when they are already visited elsewhere e.g 
> in dmd.expressionsem.ExpressionSemanticVisitor.visit(AssertExp) 
> ? Also what if we are in a contract ?

Don't we have enough attributes already?

I _could_ but then it's hard to know if I am in the top-level of 
the function body.