{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"CurrentGoalKind::CoinductiveTrait"}]}
                CurrentGoalKind::CoinductiveTrait => PathKind::Coinductive,
                // into a where-clause of a coinductive trait.
                // While normalizing via an impl does step into a where-clause of