pub(super) fn item_super_predicates( tcx: TyCtxt<'_>, def_id: DefId, ) -> EarlyBinder<'_, Clauses<'_>>