Attribute Macro contracts::debug_ensures

source · [−]
#[debug_ensures]
Expand description

Same as ensures, but uses debug_assert!.