This really reminds me of design by contract, which I find absolutely fascinating. Another library that implements this, albeit at runtime (and optionally usin

This really reminds me of design by contract, which I find absolutely fascinating. Another library that implements this, albeit at runtime (and optionally using MIRAI is https://docs.rs/contracts/latest/contracts/ https://docs.rs/contracts/latest/contracts/