{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"//"}]}
        // `mem_copy` below will de-initialize things as necessary.
        // allocation has its new bytes properly set. For the part that is copied,
        let new_ptr = self.allocate_ptr(new_size, new_align, kind, init_growth)?;