Opus finding
DopplerERC20V1._setOwner does not re-exclude `owner_` if owner is rotated after balanceLimitEnd
lowbugmedium
- src/tokens/DopplerERC20V1.sol:472-478
The comment says 'to prevent inflation mints from reverting', but DopplerERC20V1 has no inflation minting (that's CloneERC20). The comment appears to be misleading copy-paste. Also, the guard `balanceLimitEnd > block.timestamp` is checked, but `isBalanceLimitActive` may have been disabled by the controller; in that case the exclusion is harmless but unnecessary. More importantly, if `balanceLimitEnd > block.timestamp` is false at the time of owner transfer but later (impossible since time only moves forward) — fine. The misleading comment is the main concern.
Recommendation
Correct the comment to reflect actual purpose (e.g., to ensure the new owner can receive minted/transferred tokens during the balance-limit window). Consider also gating on `isBalanceLimitActive`.