Comment by carlmr

>With a borrowchecker, you get a fat runtime and the cost of garbage collection with none of the convenience

I find the borrowchecker with its checking of mutable references can really assist you well in writing correct code more easily. Especially when it comes to parallelism. But also in not accidentally mutating something that some other function still holds a reference to.

So I wouldn't say the borrow checkers utility is limited to checking allocation scopes.

This also seems to be the motivation according to the readme.