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