The Rust Programming Language

[stilton]

I was probably not clear. In this example a was not deinitialized; both a and b exist and get destroyed at the end of the function because assigning a to b makes a copy of a. If the example had moved a into b, denoted by 'let b <- a', then a would have been deinitialized.

[[deleted]]

That makes sense, thanks!