Field assignment through a nested push return 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:16 PM
Reviewed: Oct 5, 2026, 05:16 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":"nested-push-return-struct-field-assignment","fuel":4096}
===END-ARENA-MANIFEST=== */

contract C {
    struct Item {
        uint256 value;
    }

    Item[][] values;

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