contracts-0.6.10
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

contracts 0.6.10

Design-by-contract attributes

Crate
Source
Builds
Feature flags

..
always_false_predicate.rs
always_false_predicate.stderr
compile_error_in_predicate.rs
compile_error_in_predicate.stderr
description_must_be_last.rs
description_must_be_last.stderr
invalid_predicate_syntax.rs
invalid_predicate_syntax.stderr
invariant_on_struct.rs
invariant_on_struct.stderr
old_in_requires.rs
old_in_requires.stderr
old_requires_one_argument.rs
old_requires_one_argument.stderr
requires_on_struct.rs
requires_on_struct.stderr

use contracts::ensures;

#[ensures(false)]
fn checked() {}

fn main() {
    checked();
}