Attribute Macro contracts::test_invariant

source · [−]
#[test_invariant]
Expand description

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