github.com/ethereum-optimism/optimism@v1.7.2/packages/contracts-bedrock/invariant-docs/AddressAliasHelper.md (about)

     1  # `AddressAliasHelper` Invariants
     2  
     3  ## Address aliases are always able to be undone.
     4  **Test:** [`AddressAliasHelper.t.sol#L48`](../test/invariants/AddressAliasHelper.t.sol#L48)
     5  
     6  Asserts that an address that has been aliased with `applyL1ToL2Alias` can always be unaliased with `undoL1ToL2Alias`.