Rust:递归传递数组

以这个虚拟示例为例,我希望这是不言而喻的:

fn set_values(pos: usize, val: u64, array: &mut [u64]) {
    if pos >= array.len() {
        return;
    }
    array[pos] = val;
    set_values(pos+1, val+1, array);
}

这可以通过调用:

set_values(0, 42, &mut my_array);

&mut 在第一个函数调用中,但是为什么在递归调用期间我不必指定它呢?

不仅如此,如果我决定写 set_values(pos+1, val+1, &mut array);

fn set_values(pos: usize, val: u64, mut array: &mut [u64])

对不起,但对我来说这没有任何意义。