> I'm wondering now if you could completely (or at least by default) fold borrow semantics straight into your type system and dispense with most or all of the o

> I'm wondering now if you could completely (or at least by default) fold borrow semantics straight into your type system and dispense with most or all of the out of band syntax that Rust requires... IIUC, that's what "affine types" are about. See https://en.wikipedia.org/wiki/Substructural_type_system https://en.wikipedia.org/wiki/Substructural_type_system