"Vlad Levenfeld" wrote in message news:xrizfcicbvbkhtpvugvm at forum.dlang.org... > Can the compiler automatically make variables immutable if it can prove > that they are never changed in some code? It can apply the same optimizations, yes.