sui_adapter_latest::static_programmable_transactions::typing::verify::move_functions

Function verify

Source 
pub fn verify<Mode: ExecutionMode>(
    env: &Env<'_, '_, '_, '_>,
    txn: &Transaction,
) -> Result<(), ExecutionError>
Expand description

Checks the following

  • valid visibility for move function calls
    • Can be disabled under certain execution modes
  • private generics rules for move function calls
  • no references returned from move calls
    • Can be disabled under certain execution modes
    • Can be disabled via a feature flag