pub(super) fn explicit_item_super_predicates(
    tcx: TyCtxt<'_>,
    def_id: LocalDefId,
) -> EarlyBinder<'_, &[(Clause<'_>, Span)]>