[verdagon]

This isnt quite true, you can have memory-safe single ownership without borrow checking, and it feels quite different than what Rust has us do.