{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"impl_def_id:"}]}
        impl_def_id: I::DefId,
        goal: Goal<I, NormalizesTo<I>>,
    ) -> Result<Candidate<I>, NoSolution> {