{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":")"}]}
    ) -> InterpResult<'tcx, Pointer<M::Provenance>> {
        init_growth: AllocInit,
        let (alloc_id, offset, _prov) = self.ptr_get_alloc_id(ptr, 0)?;