https://corrode.dev/blog/compile-time-invariants/
#rust