{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"goal:"}]}
        goal: Goal<I, TraitPredicate<I>>,
        &mut self,
    ) -> Result<(CanonicalResponse<I>, Option<TraitGoalProvenVia>), NoSolution> {