core::intrinsics

Function contract_check_ensures

Source 
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.