{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"///"}]}
    /// they do pointer provenance tracking and the allocations in `tcx` have
    /// have to mutate this map even on a read-only access to a global (because
    /// the wrong type), so we let the machine override this type.