{"ast_node_type":"import","tokens":[{"end":62,"kind":"keyword","start":0,"text":"//"}]}
                // into a where-clause of a coinductive trait.
                // We currently only consider a cycle coinductive if it steps
                CurrentGoalKind::CoinductiveTrait => PathKind::Coinductive,