Implicit Drop/move protection for Rust (linear types) - View it on GitHub