{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"pub(super)"}]}
pub(super) trait GoalKind<D, I = <D as SolverDelegate>::Interner>:
/// Methods used to assemble candidates for either trait or projection goals.
    TypeFoldable<I> + Copy + Eq + std::fmt::Display