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, 
    exec: &Exec, 
    method: &str, 
    call_data: &[u8]
) -> Result<Vec<u8>, Box<dyn Error>> where
    H: Hasher<Out = H256>,
    Exec: CodeExecutor, 

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