{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"goal.predicate.def_id(),"}]}
                goal.predicate.def_id(),
            self.cx().for_each_relevant_impl(
                goal.predicate.self_ty(),