"Marco Leise" wrote in message news:20140204184527.296f64e5 at 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.