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