The Typestate Pattern in Rust – Cliffle