A friend of mine recommended that I read up on Linear types and associated work. I might take the time to discuss those type systems as they relate to Rust as a follow up. At that point I would address borrowed pointers.

Thanks for reading!