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