{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"goal.predicate.def_id(),"}]}
                goal.predicate.def_id(),
                goal_trait_ref,
                impl_def_id,