D's treatment of values versus side-effect free nullary functions

[Walter Bright]

Don wrote:
> Being marked as 'pure' is no guarantee that the function will terminate.

Right, and the compiler makes no attempt to check this, either.