Function sp_state_machine::execution_proof_check_on_trie_backend

pub fn execution_proof_check_on_trie_backend<H, Exec>(
    trie_backend: &TrieBackend<MemoryDB<H>, H>,
    overlay: &mut OverlayedChanges<H>,
    exec: &Exec,
    method: &str,
    call_data: &[u8],
    runtime_code: &RuntimeCode<'_>,
) -> Result<Vec<u8>, Box<dyn Error>>
where
    H: Hasher,
    H::Out: Ord + 'static + Codec,
    Exec: CodeExecutor + Clone + 'static,

Check execution proof on proving backend, generated by prove_execution call.