{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"///"}]}
    /// either `#[coverage(on)]` or no coverage attribute was found.
    /// Returns `false` if `#[coverage(off)]` was found, or `true` if
    query coverage_attr_on(key: LocalDefId) -> bool {