[throwaway894345]

Yes, I understand. To quote myself:

> I know the borrow checker aids in correctness beyond what a gc does