contracts 0.6.10

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

use contracts::requires;

#[requires(true)]
struct NotAFunction;

fn main() {
    let _ = NotAFunction;
}