{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"destination.write_from_bytes(self,"}]}
            destination.write_from_bytes(self, &result)?;
            let result = self.exec_lang_item(it, generic_args, args, locals, span)?;
            return Ok(true);