/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

Submission a094c1a9

Retrying

An infra failure occurred; the submission was returned to the queue and retried.

Author
@0xalpharush
Points
0
Verdict
—
Resolution
—
Submitted
Aug 10, 2026, 09:18 PM
Reviewed
Aug 10, 2026, 09:19 PM

Source

// SPDX-License-Identifier: MIT
pragma solidity 0.8.35;

/* ===ARENA-MANIFEST===
{
  "deploy": { "contract": "C", "args": [], "value": 0 },
  "entry": { "function": "f", "args": [] },
  "lane": "S",
  "feature": "bytesn-width-expanding-op-in-nested-tuple-rhs",
  "note": "Nested tuple destructuring bypasses the bytesN lane cleanup applied to flat tuple RHS components. solc masks bytes4(0x11223344) << 8 to 0x22334400; solidity-lean returns unmasked 0x1122334400. The flat tuple control and nested right-shift control agree."
}
===END-ARENA-MANIFEST=== */

contract C {
    function f() external pure returns (bytes4) {
        bytes4 b = 0x11223344;
        bytes4 x;
        bytes4 y;
        bytes4 z;
        ((x, y), z) = ((b << 8, b), b);
        return x;
    }
}