@danderson@irenes@creachadair So I was maybe coming at it from a different angle, but found https://cliffle.com/p/dangerust/ really helpful. My understanding of unsafe Rust is basically similar to silencing a linter warning or (frankly) writing code in C itself — especially if you're writing data structures your job might very well be to craft a few careful tricky parts into a safer (or in Rust's case outright "safe") abstraction.