The borrow checker is more influenced by substructural type systems, such as the one in the MLKit [1] and Cyclone.

[1]: http://mlton.org/Regions