> The "enforce preconditions via types" is a common pattern in Rust Called the Type State Pattern. Here are two links from my bookmarks: https://cliffle.com/b

> The "enforce preconditions via types" is a common pattern in Rust Called the Type State Pattern. Here are two links from my bookmarks: https://cliffle.com/blog/rust-typestate/ https://cliffle.com/blog/rust-typestate/ https://yoric.github.io/post/rust-typestate/ https://yoric.github.io/post/rust-typestate/