{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"args:"}]}
        args: ty::GenericArgsRef<'tcx>,
        trait_def_id: rustc_span::def_id::DefId,
    ) -> ty::ExistentialTraitRef<'tcx> {