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.