{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"if"}]}
                if cx.trait_is_coinductive(pred.trait_ref.def_id) {
            ty::PredicateKind::Clause(ty::ClauseKind::Trait(pred)) => {
                    CurrentGoalKind::CoinductiveTrait