Separate from RecoveryModeRestriction because the two say different things and the
difference is actionable (MK-043). RecoveryModeRestriction means "leave the Trove at
ICR >= CCR and you may proceed"; this one means no amount is permitted, so there is no
number a user can adjust to. Both reverts previously mapped to the first message, which
told a user to satisfy a ratio that would not have helped.
Recovery Mode refuses collateral withdrawal OUTRIGHT,
_requireNoCollWithdrawal(BorrowerOperations.sol:1270,:1388-1393).Separate from RecoveryModeRestriction because the two say different things and the difference is actionable (MK-043).
RecoveryModeRestrictionmeans "leave the Trove at ICR >= CCR and you may proceed"; this one means no amount is permitted, so there is no number a user can adjust to. Both reverts previously mapped to the first message, which told a user to satisfy a ratio that would not have helped.