{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"assumption:"}]}
        assumption: I::Clause,
        goal: Goal<I, Self>,
        requirements: impl IntoIterator<Item = (GoalSource, Goal<I, I::Predicate>)>,