{"ast_node_type":"other","tokens":[{"end":12,"kind":"keyword","start":0,"text":")"}]}
    ) -> R {
        f: impl FnOnce(&mut EvalCtxt<'_, D>, Goal<I, I::Predicate>) -> R,
        let (ref delegate, input, var_values) = D::build_with_canonical(cx, &canonical_input);