Skip to main content

Doing a code review today made me realize how writing safety comments in Rust is all about writing down tautologies

#RustLang

A snippet of Rust code manipulating dates. A safety comment above an unsafe block that takes a non-zero integer says "3 is non-zero".
#RustLang
⇧