chore: remove duplicate interface

[stevennevins]

Removes a duplicate interface.

I was running into:

with a newly created foundry repo that only had Counters.sol in the src directory. It seems to have been caused by the duplicate IERC721TokenReceiver interfaces

[stevennevins]

@mds1 tagging for visibility

[mds1]

How do I reproduce the error? The below sequence only has Counter.sol and runs successfully, without the provided compiler error.

mkdir prj
cd prj
forge init
forge build

[stevennevins]

https://github.com/stevennevins/ci-workflows

npm install

forge build

npx wagmi generate

It's more that this causes an issue with the minimal foundry repo when creating a SDK with wagmi. This can be handled on the wagmi config side by excluding the MockERC721 in the options, but removing the duplicate interface seemed like a good option.

[mds1]

Makes sense, thank you. I agree we don't need to duplicate the definition of the IERC721TokenReceiver interface in forge-std