IMO those assertions are more useful in tests (which Rust make easy) than to protect your functions from inconsistent inputs.