I can't understand how cast coexist with immutability.
Cast bypasses immutability, triggering implementation-defined behavior. You might modify immutable data, you might cause the program to crash, it might just not do anything, depending on exactly what is going on in the implementation.
When you use cast, you basically take matters into your own hands.
