Function `contract_check_requires`

const fn contract_check_requires<C: Fn() -> bool + Copy>(cond: C)

Check if the pre-condition cond has been met.

By default, if contract_checks is enabled, this will panic with no unwind if the condition returns false.

Note that this function is a no-op during constant evaluation.