Similar(identical?) concept with typestate pattern[0]

[0] -- https://zerotomastery.io/blog/rust-typestate-patterns/