&gt; This is getting to be a big problem with Rust. The language, or maybe its community, encourages cutesy stuff like this.<p>&gt; C++ went down this road.<p>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.<p>I don&#x27;t think I&#x27;m against static code generation. But it incurs mental overhead. If you do it using a language which wasn&#x27;t designed for that, much more so.