为什么一个变量可以绑定到另一个值，即使它的所有权已经移动了？ [复制]

Question

在下面的代码中，MyStruct { s: 5u32 } 的所有权被let y = x; 移动到了y，但是为什么x.s = 6 仍然有效？

struct MyStruct {
    s: u32,
}

fn main() {
    let mut x = MyStruct { s: 5u32 };
    let y = x;
    x.s = 6; //why this line does not cause an error?
    println!("{}", y.s);
}

Answer 1

我很确定这是一个错误，因为在末尾添加行 println!("{}", x.s) 会导致编译器报错。