{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"match"}]}
        match self.well_formed_goals(goal.param_env, goal.predicate) {
    fn compute_well_formed_goal(&mut self, goal: Goal<I, I::Term>) -> QueryResult<I> {
            Some(goals) => {