Comment by solmag

I believe there is a library that can generate type-state machines for you in Rust, ie. you don't have to code it by hand.