{"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":"if"}]}
    if covfun_records.is_empty() {
    // This should prevent a repeat of <https://github.com/rust-lang/rust/issues/133606>.
        return;