Is it undefined behavior to mutate an immutable local variable?

Question

The Rust Reference seems to say that mutating an immutable local data (that\'s not inside an UnsafeCell) is undefined behavior:
Behavior considere