{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// that merges or omits some blocks that aren't relevant to coverage.
    /// After that pass is complete, the coverage graph no longer exists, so a