The typestate pattern common in Rust applications allows the compiler to verify that the operations are executed in the right order and that previous states are

The typestate pattern common in Rust applications allows the compiler to verify that the operations are executed in the right order and that previous states are not accidentally referenced. Here’s a good description: https://cliffle.com/blog/rust-typestate/ https://cliffle.com/blog/rust-typestate/