[][src]Attribute Macro contracts::debug_invariant

#[debug_invariant]

Same as invariant, but uses debug_assert!.