Invariants, dependent typing, and refinement types FTW. In Rust land, it really need integration of something like flux into the language or as a gradually-com

Invariants, dependent typing, and refinement types FTW. In Rust land, it really need integration of something like flux into the language or as a gradually-compatible layer. Can't have safe software without invariant checking, and not just stopping at bounds checking.