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-...