{"ast_node_type":"other","tokens":[{"end":108,"kind":"keyword","start":0,"text":"///"}]}
    /// This function is used by Miri's provenance GC to remove unreachable entries from the dead_alloc_map.
impl<'tcx, M: Machine<'tcx>> InterpCx<'tcx, M> {
    pub fn remove_unreachable_allocs(&mut self, reachable_allocs: &FxHashSet<AllocId>) {