{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"if"}]}
                if old_size >= new_size {
                let new_size = from_bytes!(usize, new_size.get(self)?);
                    destination.write_from_interval(self, ptr.interval)?;