Make ERC20Votes independent from ERC20Permit

CHANGELOG.md

@@ -3,6 +3,9 @@
 ## Unreleased (Breaking)
 
  * `TimelockController`: Changed the role architecture to use `DEFAULT_ADMIN_ROLE` as the admin for all roles, instead of the bespoke `TIMELOCK_ADMIN_ROLE` that was used previously. This aligns with the general recommendation for `AccessControl` and makes the addition of new roles easier. Accordingly, the `admin` parameter and timelock will now be granted `DEFAULT_ADMIN_ROLE` instead of `TIMELOCK_ADMIN_ROLE`. ([#3799](https://github.com/OpenZeppelin/openzeppelin-contracts/pull/3799))
+ * `ERC20Votes`: This contract will not inherit from `ERC20Permit`, it have its own nonces for delegation and direct inheritance from EIP712. [#3816](https://github.com/OpenZeppelin/openzeppelin-contracts/pull/3816)
+
+ * `Nonces`: This is a new contract to keep track of nonces and substitute the `_nonces` storage variable inside `Votes` contract. ([#3816](https://github.com/OpenZeppelin/openzeppelin-contracts/pull/3816))
 
 ## Unreleased
 

contracts/governance/utils/Votes.sol

@@ -3,7 +3,7 @@
 pragma solidity ^0.8.0;
 
 import "../../utils/Context.sol";
-import "../../utils/Counters.sol";
+import "../../utils/Nonces.sol";
 import "../../utils/Checkpoints.sol";
 import "../../utils/cryptography/EIP712.sol";
 import "./IVotes.sol";
@@ -28,9 +28,8 @@ import "./IVotes.sol";
  *
  * _Available since v4.5._
  */
-abstract contract Votes is IVotes, Context, EIP712 {
+abstract contract Votes is IVotes, Context, EIP712, Nonces {
     using Checkpoints for Checkpoints.History;
-    using Counters for Counters.Counter;
 
     bytes32 private constant _DELEGATION_TYPEHASH =
         keccak256("Delegation(address delegatee,uint256 nonce,uint256 expiry)");
@@ -39,8 +38,6 @@ abstract contract Votes is IVotes, Context, EIP712 {
     mapping(address => Checkpoints.History) private _delegateCheckpoints;
     Checkpoints.History private _totalCheckpoints;
 
-    mapping(address => Counters.Counter) private _nonces;
-
     /**
      * @dev Returns the current amount of votes that `account` has.
      */
@@ -178,24 +175,6 @@ abstract contract Votes is IVotes, Context, EIP712 {
         return a - b;
     }
 
-    /**
-     * @dev Consumes a nonce.
-     *
-     * Returns the current value and increments nonce.
-     */
-    function _useNonce(address owner) internal virtual returns (uint256 current) {
-        Counters.Counter storage nonce = _nonces[owner];
-        current = nonce.current();
-        nonce.increment();
-    }
-
-    /**
-     * @dev Returns an address nonce.
-     */
-    function nonces(address owner) public view virtual returns (uint256) {
-        return _nonces[owner].current();
-    }
-
     /**
      * @dev Returns the contract's {EIP712} domain separator.
      */

contracts/mocks/ERC20VotesCompMock.sol

@@ -5,7 +5,7 @@ pragma solidity ^0.8.0;
 import "../token/ERC20/extensions/ERC20VotesComp.sol";
 
 contract ERC20VotesCompMock is ERC20VotesComp {
-    constructor(string memory name, string memory symbol) ERC20(name, symbol) ERC20Permit(name) {}
+    constructor(string memory name, string memory symbol) ERC20(name, symbol) EIP712(name, "1") {}
 
     function mint(address account, uint256 amount) public {
         _mint(account, amount);

contracts/mocks/ERC20VotesMock.sol

@@ -5,7 +5,7 @@ pragma solidity ^0.8.0;
 import "../token/ERC20/extensions/ERC20Votes.sol";
 
 contract ERC20VotesMock is ERC20Votes {
-    constructor(string memory name, string memory symbol) ERC20(name, symbol) ERC20Permit(name) {}
+    constructor(string memory name, string memory symbol) ERC20(name, symbol) EIP712(name, "1") {}
 
     function mint(address account, uint256 amount) public {
         _mint(account, amount);

contracts/mocks/ERC721VotesMock.sol

@@ -15,7 +15,7 @@ contract ERC721VotesMock is ERC721Votes {
         _mint(account, tokenId);
     }
 
-    function burn(uint256 tokenId) public {
+    function burn(address, uint256 tokenId) public {
         _burn(tokenId);
     }
 

contracts/mocks/NoncesImpl.sol

@@ -0,0 +1,11 @@
+// SPDX-License-Identifier: MIT
+
+pragma solidity ^0.8.0;
+
+import "../utils/Nonces.sol";
+
+contract NoncesImpl is Nonces {
+    function useNonce(address owner) public {
+        super._useNonce(owner);
+    }
+}

contracts/mocks/VotesMock.sol

@@ -28,7 +28,7 @@ contract VotesMock is Votes {
         _transferVotingUnits(address(0), account, 1);
     }
 
-    function burn(uint256 voteId) external {
+    function burn(address, uint256 voteId) external {
         address owner = _owners[voteId];
         _balances[owner] -= 1;
         _transferVotingUnits(owner, address(0), 1);

contracts/token/ERC20/extensions/ERC20Permit.sol

@@ -7,7 +7,7 @@ import "./IERC20Permit.sol";
 import "../ERC20.sol";
 import "../../../utils/cryptography/ECDSA.sol";
 import "../../../utils/cryptography/EIP712.sol";
-import "../../../utils/Counters.sol";
+import "../../../utils/Nonces.sol";
 
 /**
  * @dev Implementation of the ERC20 Permit extension allowing approvals to be made via signatures, as defined in
@@ -19,11 +19,7 @@ import "../../../utils/Counters.sol";
  *
  * _Available since v3.4._
  */
-abstract contract ERC20Permit is ERC20, IERC20Permit, EIP712 {
-    using Counters for Counters.Counter;
-
-    mapping(address => Counters.Counter) private _nonces;
-
+abstract contract ERC20Permit is ERC20, IERC20Permit, EIP712, Nonces {
     // solhint-disable-next-line var-name-mixedcase
     bytes32 private constant _PERMIT_TYPEHASH =
         keccak256("Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)");
@@ -70,8 +66,8 @@ abstract contract ERC20Permit is ERC20, IERC20Permit, EIP712 {
     /**
      * @dev See {IERC20Permit-nonces}.
      */
-    function nonces(address owner) public view virtual override returns (uint256) {
-        return _nonces[owner].current();
+    function nonces(address owner) public view virtual override(IERC20Permit, Nonces) returns (uint256) {
+        return super.nonces(owner);
     }
 
     /**
@@ -81,15 +77,4 @@ abstract contract ERC20Permit is ERC20, IERC20Permit, EIP712 {
     function DOMAIN_SEPARATOR() external view override returns (bytes32) {
         return _domainSeparatorV4();
     }
-
-    /**
-     * @dev "Consume a nonce": return the current value and increment.
-     *
-     * _Available since v4.1._
-     */
-    function _useNonce(address owner) internal virtual returns (uint256 current) {
-        Counters.Counter storage nonce = _nonces[owner];
-        current = nonce.current();
-        nonce.increment();
-    }
 }