Ternary push-return storage alias 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:20 PM
Reviewed: Oct 5, 2026, 05:20 PM

Source

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

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

contract C {
    uint256[][] left;
    uint256[][] right;

    function run(bool chooseLeft) external returns (uint256) {
        uint256[] storage row = (chooseLeft ? left : right).push();
        row.push(7);
        return row[0];
    }
}