{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"Some((size,"}]}
            Some((size, _align)) => size,
        let old_size = match old_size_and_align {
            None => self.get_alloc_raw(alloc_id)?.size(),