Sorry, I was on my phone. Thanks for fixing it, I was a bit confused by your original title considering there's no linear types in Rust (AFAIK, but there's a library that sort of does it: https://docs.rs/linear_type/latest/linear_type/).