If the compiler is not enforcing that it's only *logical* mutability (whatever that means), it's no different than `Cell`. It's only a *convention* that you want people to follow, but have no way of enforcing.