Compile-Time Invariants in Rust - eviltoast
Corrode Rust Consulting
corrode.dev
Working on something completely unrelated, I stumbled across this comment in a Rust project: