{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"destination.write_from_bytes(self,"}]}
                    destination.write_from_bytes(self, &result.to_bytes())?;
                        .write_from_interval(self, Interval { addr: ptr, size: old_size })?;
                }