Submission b8cef96f

Source

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

/* ===ARENA-MANIFEST===
{
  "deploy": { "contract": "T", "args": [] },
  "entry": { "function": "run", "args": [] },
  "feature": "tuple-hole-storage-pointer-declaration",
  "note": "solc+EVM returns success|w:12 and writes x.a=1,y.a=2; solidity-lean returns success|w:34 with x.a=3,y.a=4. The differing component is wrong-value and state."
}
===END-ARENA-MANIFEST=== */
contract T {
    struct S { uint256 a; }

    S x;
    S y;

    function run() public returns (uint256) {
        x.a = 3;
        y.a = 4;
        (S storage p, , S storage q) = (x, 0, y);
        p.a = 1;
        q.a = 2;
        return x.a * 10 + y.a;
    }
}