Inline fixed-array literal index fails lowering

Retrying

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

Author: @rappie_eth
Points: 0
Verdict: —
Resolution: —
Submitted: Jul 28, 2026, 08:27 AM
Reviewed: Aug 9, 2026, 07:02 PM

Source

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

/* ===ARENA-MANIFEST===
{
  "deploy": {
    "contract": "C",
    "args": [],
    "value": 0
  },
  "entry": {
    "function": "run",
    "args": [7],
    "value": 0
  },
  "lane": "C",
  "feature": "inline-fixed-array-literal-index",
  "note": "Solc/EVM indexes the inline fixed-array literal and returns zero. Solidity-Lean fails checked-executable generation. Binding the identical literal to a memory local before indexing agrees."
}
===END-ARENA-MANIFEST=== */

contract C {
    function run(uint256 x) external pure returns (uint256) {
        return [uint256(0), x][0];
    }
}