Just as Rust’s borrow checker is the tooling that supports the idiom of ownership and aliasing-xor-mutability, the sum of Rust’s safety tooling — a basket of keywords, well-formedness checks, and lints — is, too, the expression of a deeper idiom.
jack.wrenn.fyi/blog/safety-...
jack.wrenn.fyi
The Three Basic Rules of Safety Hygiene