Merge branch 'implement-acp-77--set-subnet-validator-weight-tx' into …

…implement-acp-77-warp-verification

vms/platformvm/txs/executor/standard_tx_executor.go

@@ -49,6 +49,8 @@ var (
 	errEtnaUpgradeNotActive       = errors.New("attempting to use an Etna-upgrade feature prior to activation")
 	errTransformSubnetTxPostEtna  = errors.New("TransformSubnetTx is not permitted post-Etna")
 	errMaxNumActiveValidators     = errors.New("already at the max number of active validators")
+
+	errStateCorruption = errors.New("state corruption")
 )
 
 type StandardTxExecutor struct {
@@ -877,9 +879,10 @@ func (e *StandardTxExecutor) SetSubnetValidatorWeightTx(tx *txs.SetSubnetValidat
 
 		accruedFees := e.State.GetAccruedFees()
 		if sov.EndAccumulatedFee <= accruedFees {
-			// This should never happen as the validator should have been
-			// evicted.
-			return fmt.Errorf("validator has insufficient funds to cover accrued fees")
+			// This check should be unreachable. However, including it ensures
+			// that AVAX can't get minted out of thin air due to state
+			// corruption.
+			return fmt.Errorf("%w: validator should have already been disabled", errStateCorruption)
 		}
 		remainingBalance := sov.EndAccumulatedFee - accruedFees