Battle-plan for CTFE

[Stefan Koch via Digitalmars-d-announce]

On Thursday, 1 September 2016 at 13:18:18 UTC, Rory McGuire wrote:
> the _checkCTFE() function is just a function that does 
> something we're not
> allowed to do at CTFE, but current implementation does not 
> respect
> __traits(compiles, ....);
>
>
>
> As far as I can tell that is a bug. Thoughts?

It is not a bug, because there is no way to mark something as 
CTFE-only.
static ifs are not visible at the time where ctfe sees the 
function, they have already been resolved.

getting a static if (__ctfe) to work would require significant 
changes to the semantic-analysis path for functions.