{"ast_node_type":"variable","tokens":[{"end":89,"kind":"keyword","start":0,"text":"let"}]}
        let leaked: Vec<_> = self.memory.alloc_map.filter_map_collect(|&id, &(kind, _)| {
        // All allocations that are *not* `reachable` and *not* `may_leak` are considered leaking.
            if kind.may_leak() || reachable.contains(&id) { None } else { Some(id) }