---
title: "A Formal Look at Pinning"
categories: research rust
+forum: https://internals.rust-lang.org/t/a-formal-look-at-pinning/7236
---
Recently, a new API for "pinned references" has [landed as a new unstable feature](https://github.com/rust-lang/rust/pull/49058) in the standard library.
Next time, we are going to look at an extension to the pinning API proposed by @cramertj which guarantees that `drop` will be called under some circumstances, and how that is useful for intrusive collections.
Thanks for reading!
-I am looking forward to hearing your comments.
+I am looking forward to hearing your [comments](https://internals.rust-lang.org/t/sharing-for-a-lifetime/7236).
In particular, I am curious if the made-up syntax for making the typestate invariants more precise was helpful.