Rust implements affine types, which means every object must be used at most once. You cannot use them twice, but you can discard them and not do anything with them. Linear types means exactly once.
but I don't think you can easily move from affine types to linear types in the case of Rust, see leakpocalypse[1]
but I don't think you can easily move from affine types to linear types in the case of Rust, see leakpocalypse[1]
[1]: https://cglab.ca/~abeinges/blah/everyone-poops/#leakpocalyps...