> This is getting to be a big problem with Rust. The language, or maybe its community, encourages cutesy stuff like this. > C++ went down this road. Also a bi

> This is getting to be a big problem with Rust. The language, or maybe its community, encourages cutesy stuff like this. > C++ went down this road. Also a big problem in the Haskell community. Trying to prove all sorts of complicated properties in a simple type system leads to overcomplicated design. I don't think I'm against static code generation. But it incurs mental overhead. If you do it using a language which wasn't designed for that, much more so.