Comment by pjmlp

Borrow checking isn't reference counting and Nim still needs to prove itself.