{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"infcx.fresh_args_for_item(DUMMY_SP,"}]}
                                infcx.fresh_args_for_item(DUMMY_SP, impl_def_id),
                                tcx,
                            );