{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"CurrentGoalKind::CoinductiveTrait"}]}
                    CurrentGoalKind::CoinductiveTrait
                if cx.trait_is_coinductive(pred.trait_ref.def_id) {
                } else {