"Marco Leise"  wrote in message news:20140204184527.296f64e5@marco-leise.homedns.org...

> Still this requires is_locked to be "strongly pure", which
> cannot be expressed explicitly in D. (Otherwise it could
> change the implicit this and cause a side-effect.)

Actually it only requires const-pure to prevent side effects.