D and Nim

[Vlad Levenfeld via Digitalmars-d]

On Monday, 5 January 2015 at 03:56:31 UTC, bearophile wrote:
> Immutable variables make the code simpler to understand for
> programmers and more handy for compilers. The less moving parts
> your code has, the better it's for you.
>
> More explanations on request.

Can the compiler automatically make variables immutable if it can 
prove that they are never changed in some code?