{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"GoalSource::ImplWhereBound"}]}
            GoalSource::ImplWhereBound => match self.current_goal_kind {
            GoalSource::NormalizeGoal(path_kind) => path_kind,
                // We currently only consider a cycle coinductive if it steps