Attribute Macro contracts::debug_invariant

source · [−]
#[debug_invariant]
Expand description

Same as invariant, but uses debug_assert!.