MIRI also detects problems in generally safe Rust. If you want to know how I know, read the sibling comments. Or, like, just downvote me, it's not like I care about my imaginary Internet points.

The sanity of future devs, though? I do care about that, though, and there is a huge problem with that in the Rust 'community'

> ... in generally safe Rust.

Just to find agreement about the terminology, wouldn't we call all code that is not inside an unsafe block "safe?" If so, then adding "generally" is superfluous, right?

If not, then how is "generally safe" different from "not inside an unsafe block?"