为什么借用检查器不明白借用切片的不同部分从根本上是可以的？

该split_at_mut函数（用于在索引处拆分可变切片）需要实现不安全的代码（根据 Rust 书）。但书中也说：“借用切片的不同部分从根本上是可以的，因为两个切片不重叠”。

我的问题：为什么借用检查器不明白借用切片的不同部分从根本上是可以的？（是否有原因阻止借用检查器理解此规则，或者只是由于某种原因尚未实施？）

使用 Rust 1.48 尝试建议的代码仍然会导致书中显示的错误：

fn split_at_mut(slice: &mut [i32], mid: usize) -> (&mut [i32], &mut [i32]) {
    let len = slice.len();

    assert!(mid <= len);

    (&mut slice[..mid], &mut slice[mid..])
}

fn main() {
    let mut vector = vec![1, 2, 3, 4, 5, 6];
    let (left, right) = split_at_mut(&mut vector, 3);
    println!("{:?}, {:?}", left, right);
}

给出错误信息：

error[E0499]: cannot borrow `*slice` as mutable more than once at a time
 --> src/main.rs:6:30
  |
1 | fn split_at_mut(slice: &mut [i32], mid: usize) -> (&mut [i32], &mut [i32]) {
  |                        - let's call the lifetime of this reference `'1`
...
6 |     (&mut slice[..mid], &mut slice[mid..])
  |     -------------------------^^^^^--------
  |     |     |                  |
  |     |     |                  second mutable borrow occurs here
  |     |     first mutable borrow occurs here
  |     returning this value requires that `*slice` is borrowed for `'1`

回答