> It's interesting how many strategies Rust tried before settling on linear types. Rust doesn’t actually have linear types. I’m not sure what Rust’s types are

> It's interesting how many strategies Rust tried before settling on linear types. Rust doesn’t actually have linear types. I’m not sure what Rust’s types are called (affine?), but linear types are the “must be consumed” (can’t leak) types, and Rust doesn’t have any support for this. Rust’s guarantee is that you MUST NOT use an object after dropping it. Linear types would add the additional requirement that you MUST drop the object.