Prior call makes inline fixed-array argument local panic

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": "S",
  "feature": "prior-call-inline-fixed-array-argument-local",
  "note": "Solc/EVM returns zero. Solidity-Lean panics after an earlier internal call when a later internal call consumes an inline fixed-array literal in a local initializer. Removing the prior call, precomputing the array, or moving the later call into the return expression all agree."
}
===END-ARENA-MANIFEST=== */

contract C {
    function marker() internal pure returns (uint256) {
        return 7;
    }

    function head(uint256[2] memory values) internal pure returns (uint256) {
        return values[0];
    }

    function run() external pure returns (uint256) {
        uint256 value = marker();
        uint256 result = head([uint256(0), value]);
        return result;
    }
}