From cf9dc9ac1e9fbf73959e5b6180e3fb364fd5a020 Mon Sep 17 00:00:00 2001
From: teddy <teddy@defi.sucks>
Date: Thu, 22 Aug 2024 21:17:33 -0300
Subject: [PATCH] test: not-yet-deployed supertokens can get funds sent to them

---
 .../test/properties/medusa/Protocol.properties.t.sol           | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/packages/contracts-bedrock/test/properties/medusa/Protocol.properties.t.sol b/packages/contracts-bedrock/test/properties/medusa/Protocol.properties.t.sol
index ba339bc44b112..231c6294ebadc 100644
--- a/packages/contracts-bedrock/test/properties/medusa/Protocol.properties.t.sol
+++ b/packages/contracts-bedrock/test/properties/medusa/Protocol.properties.t.sol
@@ -117,7 +117,6 @@ contract ProtocolProperties is ProtocolHandler, CryticERC20ExternalBasicProperti
         OptimismSuperchainERC20 sourceToken = OptimismSuperchainERC20(allSuperTokens[fromIndex]);
         OptimismSuperchainERC20 destinationToken =
             MESSENGER.crossChainMessageReceiver(address(sourceToken), destinationChainId);
-        require(address(destinationToken) != address(0));
         uint256 sourceBalanceBefore = sourceToken.balanceOf(currentActor());
         uint256 sourceSupplyBefore = sourceToken.totalSupply();
         uint256 destinationBalanceBefore = destinationToken.balanceOf(recipient);
@@ -237,8 +236,6 @@ contract ProtocolProperties is ProtocolHandler, CryticERC20ExternalBasicProperti
         bytes32 deploySalt = MESSENGER.superTokenInitDeploySalts(address(sourceToken));
         OptimismSuperchainERC20 destinationToken =
             MESSENGER.crossChainMessageReceiver(address(sourceToken), destinationChainId);
-        // TODO: perhaps the mock should already start ignoring this?
-        require(address(destinationToken) != address(0));
         uint256 sourceBalanceBefore = sourceToken.balanceOf(currentActor());
         uint256 sourceSupplyBefore = sourceToken.totalSupply();
         uint256 destinationBalanceBefore = destinationToken.balanceOf(recipient);