{"ast_node_type":"impl","tokens":[{"end":84,"kind":"keyword","start":0,"text":"requirements:"}]}
        requirements: impl IntoIterator<Item = (GoalSource, Goal<I, I::Predicate>)>,
        assumption: I::Clause,
    ) -> Result<Candidate<I>, NoSolution> {