The Rust module system is too confusing

A while ago I was considering an idea, so I wrote a tweet to ask what folks thought about it.

Similar

Unsoundness in `Pin` (Rust)

Recently, @withoutboats challenged me to demonstrate a hypothetical version of Pin with different guarantees, and show how it would be sound. However, while working on that, I stumbled upon unsoundness in the actual Pin. I haven't seen this reported bef... (more…)

Read more »