What is the logic behind freezing mutable borrowed variables in Rust?

Question

In a single mutable reference, there is a concept of freezing the values:

fn main() {
    let mut x = 5;

    let y = &mut x; // freeze
    *y *= 2; // unfree