{"ast_node_type":"impl","tokens":[{"end":73,"kind":"keyword","start":0,"text":"f:"}]}
        f: impl FnOnce(&mut EvalCtxt<'_, D>, Goal<I, I::Predicate>) -> R,
        canonical_goal_evaluation: &mut ProofTreeBuilder<D>,
    ) -> R {