Pre-conditions at compile-time with static arguments

[KennyTM~]

On Apr 26, 11 07:25, bearophile wrote:
> KennyTM~:
>
>> Also, if the precondition were complaining, and you change some bit of
>> the code and find it can be compiled -- that won't mean anything, as it
>> is likely the change just make the precondition non-CTFE-able.
>
> You are right, this is bad. But the compile-time interpreter is getting able to run a larger percentage of D code, so that problem becomes smaller, and this idea doesn't give false positives.
>
>
>> I also don't believe this still keeps the compiler simple,
>
> It's _way_ simpler than solutions like one in Sing#. Here you don't need a powerful symbolic constraint solver inside the compiler :-) All the needed tools are already present.
>
> Bye,
> bearophile

I see. I was comparing to the current situation where such feature does 
_not_ exist.