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

#[test_invariant]
Expand description

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