Rust has affine types, and uses them extensively: types that own memory, as opposed to borrowing it, are generally affine. In principle you could implement a f

Rust has affine types, and uses them extensively: types that own memory, as opposed to borrowing it, are generally affine. In principle you could implement a form of borrow check with linear types (I don’t think affine is good enough), but the ergonomics would be horrible.