{"ast_node_type":"impl","tokens":[{"end":63,"kind":"keyword","start":0,"text":"f:"}]}
        f: impl FnOnce(&mut EvalCtxt<'_, D>) -> QueryResult<I>,
        self,
    ) -> Result<Candidate<I>, NoSolution> {