Compile-Time Invariants in Rust

Working on something completely unrelated, I stumbled across this comment in a Rust project: