[james-mcelwain]

> Rust has affine types (can be used no more than once), but not linear types (must be used exactly once)

Obviously it's not part of the type system itself, but doesn't the must_use attr get pretty close?