{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":")"}]}
    ) -> ty::ExistentialTraitRef<'tcx> {
        args: ty::GenericArgsRef<'tcx>,
        ty::ExistentialTraitRef::new_from_args(self.tcx(), trait_def_id, args)