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

#[debug_ensures]
Expand description

Same as ensures, but uses debug_assert!.