\@steveklabnik this is the set of things I tried to remove Option from Option<Box<dyn State>> in that example I mentioned yesterday:
https://gist.github.com/jcoglan/2c253feabfec2ed51573872969db48d8 …
assume the final version here isn't common due to need to return `self`?
-
sure, but in real-world code I would expect the structs to contain data and therefore allocate though I can see the value in using zero-size types purely as a compile-time modelling thing
You can get pretty far with zero sized types. :) https://github.com/diesel-rs/diesel/blob/50798e5dd52ae9d3c7c9a4bf7a5f1e5b9167aba3/diesel_tests/tests/perf_details.rs#L8-L16 …
