{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"//"}]}
                // We currently only consider a cycle coinductive if it steps
            GoalSource::ImplWhereBound => match self.current_goal_kind {
                // into a where-clause of a coinductive trait.