{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"///"}]}
    /// owned allocation to the map even when the map is shared.)
    /// cache the result. (This relies on `AllocMap::get_or` being able to add the
    fn adjust_global_allocation<'b>(