{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":")"}]}
        ) -> Result<ty::Binder<I, Vec<I::Ty>>, NoSolution>,
            I::Ty,
    ) -> Result<Candidate<I>, NoSolution> {