pub fn abort() -> ! {
    unsafe {
        __VERIFIER_assert(0);
    }
}
/// Reject the current execution with a verification failure.
///
/// In almost all circumstances, `report_error` should
/// be used instead because it generates an error message.
Reject the current execution with a verification failure.
In almost all circumstances, `report_error` should
be used instead because it generates an error message.
Reject the current execution with a verification failure . In almost all circumstances ` report_error ` should be used instead because it generates an error message .
pub fn abort() -> ! {
    unsafe {
        __VERIFIER_assert(0);
    }
}
pub fn abort ( ) -> ! { unsafe { __VERIFIER_assert ( 0 ) ; } }
Reject the current execution with a verification failure.
Reject the current execution with a verification failure .