{"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":"goal_kind:"}]}
        goal_kind: ty::ClosureKind,
        goal: Goal<I, Self>,
    ) -> Result<Candidate<I>, NoSolution> {