{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"///"}]}
    /// 1 more than the highest-numbered [`CoverageKind::BlockMarker`] that was
pub struct CoverageInfoHi {
    /// injected into the MIR body. This makes it possible to allocate per-ID