{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"ty::PredicateKind::Clause(ty::ClauseKind::Trait(pred))"}]}
            ty::PredicateKind::Clause(ty::ClauseKind::Trait(pred)) => {
        match input.goal.predicate.kind().skip_binder() {
                if cx.trait_is_coinductive(pred.trait_ref.def_id) {