Comment by loa_in_

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