contract_check_requires
contract_check_requires (전제조건 검사)
전제조건(pre-condition) cond 가 충족되었는지 검사하는 내장 함수예요.
출처: Rust 공식 문서
본문
전제조건 cond 가 충족되었는지 검사해요. 기본적으로 contract_checks 가 활성화되어 있으면 조건이 거짓일 때 언와인드 없이 panic 해요. 이 함수는 상수 평가 중에는 no-op 이에요.
pub const fn contract_check_requires<C>(cond: C) where C: Fn () -> bool + Copy ,