If a user wants to withdraw tokens, if there isn't enough space for their entire withdrawal and they don't want to queue their withdrawal, they don't receive a partial withdrawal and instead the transaction just reverts.
The issue is that partial withdrawals will not take place when _withdraw is called if _shouldQueueWithdrawal is false and the users full withdrawal doesn't take place. As a result, instead of a user receiving a fraction of the rewards they desire, they will end up receiving 0 of the rewards they desire.
In PriorityPool::_withdraw
Users
Manual
Allow for the condition of a partial withdrawal if _shouldQueueWithdrawal is false as an alternative to the transaction completely reverting.
The contest is live. Earn rewards by submitting a finding.
This is your time to appeal against judgements on your submissions.
Appeals are being carefully reviewed by our judges.