我很难理解为什么Rust的借用检查器不允许多个可变借用，而这样做是安全的。
让我们给予一个例子：

fn borrow_mut(s : &mut String) {
    s.push_str(" world!");
    println!("{}", s);
}

fn main() {
    let mut s = String::from("hello");
    let rs : &mut String = &mut s;

    // second mutable borrow
    borrow_mut(&mut s);

    println!("{rs}");
}

此代码无法编译，并显示以下消息：

error[E0499]: cannot borrow `s` as mutable more than once at a time
  --> main.rs:11:16
   |
8  |     let rs : &mut String = &mut s;
   |                            ------ first mutable borrow occurs here
...
11 |     borrow_mut(&mut s);
   |                ^^^^^^ second mutable borrow occurs here
12 | 
13 |     println!("{rs}");
   |                -- first borrow later used here

rs指向堆栈帧中String类型的变量。String包含堆中内存的指针。因此，即使字符串在borrow_mut()中重新分配其数据，两个指针仍然有效，因此这段代码应该是安全的。
有人能解释为什么借入检查器阻止多个可变借入，即使它是安全的吗？