{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"///"}]}
    /// "Holes" are regions within the function body (or its expansions) that
    body_span: Span,
    /// should not be included in coverage spans for this function