> However, I generally don't need to write the low level code that justifies the increased complexity of the borrow checker. Your criteria are so specific that

> However, I generally don't need to write the low level code that justifies the increased complexity of the borrow checker. Your criteria are so specific that it will be easier to just learn how the borrow checker works.