fn check_preconditions(stack: &RuntimeStack) {
        if stack.is_empty() {
            error!("Call stack should not be empty while creating a new Runtime instance");
            debug_assert!(false);
        }

        if stack.first_frame().unwrap().contract_hash().is_some() {
            error!("First element of the call stack should always represent a Session call");
            debug_assert!(false);
        }
    }
/// Preconditions that would render the system inconsistent if violated. Those are strictly
/// programming errors.
Preconditions that would render the system inconsistent if violated. Those are strictly
programming errors.
Preconditions that would render the system inconsistent if violated . Those are strictly programming errors .
fn check_preconditions(stack: &RuntimeStack) {
        if stack.is_empty() {
            error!("Call stack should not be empty while creating a new Runtime instance");
            debug_assert!(false);
        }
        if stack.first_frame().unwrap().contract_hash().is_some() {
            error!("First element of the call stack should always represent a Session call");
            debug_assert!(false);
        }
    }
fn check_preconditions ( stack : & RuntimeStack ) { if stack . is_empty ( ) { error ! ( " " ) ; debug_assert ! ( false ) ; } if stack . first_frame ( ) . unwrap ( ) . contract_hash ( ) . is_some ( ) { error ! ( " " ) ; debug_assert ! ( false ) ; } }
Preconditions that would render the system inconsistent if violated.
Preconditions that would render the system inconsistent if violated .
stack
&RuntimeStack
stack
&RuntimeStack