contracts 0.6.8

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

use contracts::requires;

#[requires(x >)]
fn checked(x: i32) -> i32 {
    x
}

fn main() {
    let _ = checked(1);
}