Without a borrowck, inside your mutable block, another variable can reference to the mutable version of your x or items, and be mutated outside of that block.

No if you're allowed to only get an immutable reference from an immutable variable.