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/