I just got it! (invariant/const)

[Jason House]

Janice Caron Wrote:

> On 09/04/2008, Georg Wrede <georg at nospam.org> wrote:
> >  This is even stronger than (1) above, it is clearer,
> >  and it's *right*.
> 
> Sure, but you don't need to outlaw code that does nothing. :-)

D already outlaws having code that isn't run.  I would prefer for code that does nothing to be considered an error.  Of course, with most functions being impure, that's tough to enforce.  With pure functions, it should be easy.