{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":")"}]}
    ) -> ty::ExistentialProjection<'tcx> {
        term: ty::Term<'tcx>,
        ty::ExistentialProjection::new_from_args(self.tcx(), def_id, args, term)