pub fn contract_check_ensures<'a, Ret, C: Fn(&'a Ret) -> bool>(
ret: &'a Ret,
cond: C,
)🔬This is a nightly-only experimental API. (
contracts_internals #128044)Expand description
Check if the post-condition cond has been met.
By default, if contract_checks is enabled, this will panic with no unwind if the condition
returns false.