Attribute Macro contracts::test_ensures[−][src]

#[test_ensures]
Expand description

Same as ensures, but is only enabled in #[cfg(test)] environments.