Inspired by Jack Wrenn’s post on Undroppable Types
in Rust, I set out to see if it’s possible to create types that must be used exactly
once. From my understanding, those things are called linear types, but
don’t quote me on that1.


  
    
      Unless you are quoting the title of this article which explicitly says linear types… I feel stupid now. ↩

Lobsters is a community-driven platform for sharing and discussing links to articles, tutorials, and projects related to technology and programming. Readers can learn about a wide range of topics, from software development and system administration to cybersecurity and artificial intelligence. With user submissions, comments, and voting, Lobsters provides a platform for collaborative learning and knowledge sharing among technology enthusiasts.

Lobsters

The post discusses an attempt to create linear types in Rust that can only be used exactly once using a struct called UseOnce<T>. It explains the implementation details, including destructive move semantics and the use of MaybeUninit<T>. The post also highlights some limitations and issues, such as the potential to exfiltrate the inner value and reliance on the compiler's behavior without optimizations, which make the approach less practical.

Cursed Linear Types In Rust