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

Question

在以下代码中，MyStruct { s: 5u32 }的所有权已移至y let y = x;，但为什么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)会导致编译器抱怨。