contracts 0.6.10

Design-by-contract attributes
Documentation 
1
2
3
4
5
6
7
8

use contracts::requires;

#[requires(compile_error!("predicate should be a boolean expression"))]
fn broken_predicate() {}

fn main() {
    broken_predicate();
}