You are correct, which is why D also supports:immutable @safe pure { ... nice declarations ... } ... naughty declarations ...The bottom line is we need a way to undo attributes. -- Andrei
+100 Good language has to attract write good things simple and dirty things in more complex way. The current state of atribution is contrary :(