{"ast_node_type":"other","tokens":[{"end":50,"kind":"keyword","start":0,"text":")"}]}
    ) -> (R, Option<inspect::GoalEvaluation<I>>) {
        f: impl FnOnce(&mut EvalCtxt<'_, D>) -> R,
        let mut search_graph = SearchGraph::new(root_depth);