(Author here) The Pin pointer type is a super interesting example of a safe-unsafe abstraction in Rust. I couldn’t wrap my head around it the first few times, so I wrote this blog post to try and fix this in my brain.