{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"trace!(\"InstrumentCoverage"}]}
        trace!("InstrumentCoverage skipped for {def_id:?} (`#[coverage(off)]`)");
    if !tcx.coverage_attr_on(def_id) {
        return false;