{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"TypeFoldable<I>"}]}
    TypeFoldable<I> + Copy + Eq + std::fmt::Display
pub(super) trait GoalKind<D, I = <D as SolverDelegate>::Interner>:
where