{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"///"}]}
    /// If `-Cinstrument-coverage` is not active, or if an individual function
    ///
    /// is not eligible for coverage, then this should always be `None`.