When a pool reaches its reserve's boundaries per liquidity it prevents swaps from happening
Alexangelj opened this issue · comments
Alexander commented
Every pool's reserves are bound between: 0 < x < 1
and 0 < y < strike price
. The reserves can reach this point when a swap happens which has a fee that contributes to the reserves causing it to exceed one of its bounds. Once this happens, the checkInvariant
function will revert, preventing further swaps from happening.