Rust allows for type-proofing your logic, but it can't force you to.