digitalmars.D - [ot] Scala gets a system for tracking immutability

So now D isn't the only OOP language with an immutability system:
"In the course of a semester project, Davide Galimberti (EPFL student) recently
implemented a prototype of the Javari [1] system as a Scala compiler plugin.
The system not only allows to check whether a class is immutable, it also
allows tracking immutable references (aliases) to potentially mutable objects.
It guarantees that no state modifications are performed through an immutable
reference."
http://permalink.gmane.org/gmane.comp.lang.scala.debate/4352

The system not only allows to check whether a class is immutable, it also
allows tracking immutable references (aliases) to potentially mutable objects.
It guarantees that no state modifications are performed through an immutable
reference."