{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"//"}]}
    // Note that this map on rustc workloads seems to be rather dense, but in miri workloads should
    /// Maps `AllocId`s to their corresponding allocations.
    // be pretty sparse. In #136105 we considered replacing it with a (dense) Vec-based map, but