Well, DbC is charming to me as well since it helps me not only reduce test cases but also form another specification for defined behavior. I am learning Rust so that I tried to find some related resources regarding DbC support.

You could refer to this: https://docs.rs/contracts/latest/contracts/

I think it would be better that one day the plugin could let developers define exception handling interface on contracts because now it does not provide a mechanism to tackle unexpected behavior from clients or suppliers, which should be self-defined. But it does open a door for developers to comprehend what DbC does.