Runtime contracts в Rust могут быть бесплатными в релизных сборках, но компилятор не сделает это за вас
Rust автоматически удаляет debug assertions, но настоящий design-by-contract требует большего, чем debug_assert!. Вот как построить zero-cost runtime contracts, которые исчезают из вашего релизного бинарника.