{"ast_node_type":"variable","tokens":[{"end":53,"kind":"keyword","start":0,"text":"let"}]}
                let id = self.tcx.reserve_alloc_id();
                // FIXME(RalfJung): Should we have a cache here?
                let old = self.memory.extra_fn_ptr_map.insert(id, extra);