Software Assurance Reference Dataset

[Walter Bright via Digitalmars-d]

On 7/19/2014 11:06 PM, bearophile wrote:
> A @tailrec annotation seems good, and will improve the functional usages of D.
> It should stop compilation with a error if the function doesn't call itself or
> if the compiler is not able to remove the recursive call. This means it has to
> be fully enforced.

If you want to guarantee replacement of a recursive call with a loop, just write 
a loop.