Statically checked interior mutability

[phlopsi]

I discussed interior mutability in

Exploring Interior Mutability, Auto Traits and Side Effects

Background I've been taking a deep dive into unsafe recently and specifically designing data structures, which use unsafe internally and offer a safe API. I'm a fan of zero-cost abstractions and Rust's safety guarantees. IMO, the combination of both makes Rust an outstanding programming language. However, there are some problem domains where Rust's feature richness make it hard to prove soundness of a safe API and some API designs become outright impossible without unsafe. My current enemies wh…

If you have something interesting to add to the discussion, I can ask a moderator to unlock the thread, again.