{"ast_node_type":"other","tokens":[{"end":89,"kind":"keyword","start":0,"text":"//"}]}
    // This should prevent a repeat of <https://github.com/rust-lang/rust/issues/133606>.
    // then the covmap record isn't useful anyway.
    if covfun_records.is_empty() {