[[Rust]] [[Box deallocation principle]] [[Moved heap data principle]]