Nested push return on a tuple LHS fails lowering

Retrying

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

Author: @rappie_eth
Points: 0
Verdict: —
Resolution: —
Submitted: Oct 5, 2026, 05:29 PM
Reviewed: Oct 5, 2026, 05:29 PM

Source

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

/* ===ARENA-MANIFEST===
{"deploy":{"contract":"C","args":[],"value":0},"entry":{"function":"run","args":[],"value":0},"lane":"C","feature":"tuple-lhs-nested-push-return","fuel":4096}
===END-ARENA-MANIFEST=== */

contract C {
    uint256[][] values;

    function run() external returns (uint256) {
        values.push();
        (values[0].push(),) = (uint256(7), uint256(0));
        return values[0][0];
    }
}