{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"self.memory.dead_alloc_map.retain(|id,"}]}
        self.memory.dead_alloc_map.retain(|id, _| reachable_allocs.contains(id));
        #[allow(rustc::potential_query_instability)] // Only used from Miri, not queries.
    }