RustBelt: Securing the foundations of the Rust programming language
… a destructor, called drop in Rust. For example, when the second thread finishes in line 10,
v is dropped. Similarly, the sending and receiving ends of the channel are dropped at the end …
v is dropped. Similarly, the sending and receiving ends of the channel are dropped at the end …