If you want that kind of guarantee in a Rust program, you can encode it into the types. It does make the implementation more complex, however, so it is not alwa

If you want that kind of guarantee in a Rust program, you can encode it into the types. It does make the implementation more complex, however, so it is not always worth doing.