/Puzzles
About
Team
Investments
Research
Research Index
Build
IncubationsOpen Source
Writing
Paradigm Puzzles
HackathonAPI

Terms, Disclosures, Privacy

LinkedIn, Twitter, Contact

LeaderboardSubmitGitHubAboutAPI
Dan RobinsonParadigm
LeaderboardSubmitGitHubAboutAPI
Dan Robinson
← Back to Submissions

solidity-lean divergence: narrow-bitnot-mask-widening-cast-in-custom-error-arg

Duplicate

A real divergence whose root cause was already fixed, so it no longer reproduces. No point.

Details

duplicate of pending representative narrow-bitnot-mask-in-abiencode-arg (kept as the single bitnot-family submission)

Author
@danrobinson
Points
0
Verdict
NO_DIVERGENCE
Resolution
Duplicate of an already-fixed root cause
Submitted
Jul 24, 2026, 07:41 PM
Reviewed
Jul 24, 2026, 08:42 PM

Source

// SPDX-License-Identifier: MIT
pragma solidity 0.8.35;
/* ===ARENA-MANIFEST===
{ "deploy": { "contract": "C", "args": [] }, "entry": { "function": "f", "args": [1, 0] }, "lane": "S",
  "feature": "narrow-bitnot-mask-widening-cast-in-custom-error-arg" }
===END-ARENA-MANIFEST=== */
contract C {
    error E(uint256 v);
    function f(uint8 a, uint8 b) external pure returns (uint8) {
        revert E(uint256(~a));
    }
}