state-var dynamic array literal initializer over-rejected

Source

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

/* ===ARENA-MANIFEST===
{
  "deploy": { "contract": "T", "args": [], "value": 0 },
  "entry":  { "function": "f", "args": [] },
  "note":   "COVERAGE_GAP: a fixed-size array literal as the INITIALIZER of a dynamic storage array. solc 0.8.35 accepts it (implicit uint256[3] -> uint256[] conversion) and f() returns 3; solidity-lean fails closed in typecheck with expectedType(array uint256 none) vs (array uint256 (some 3)). The same literal ASSIGNED in a function body (a = [uint256(1),2,3];) is accepted, so the gap is specific to the state-variable initializer position."
}
===END-ARENA-MANIFEST=== */

contract T {
    uint256[] public a = [uint256(1), 2, 3];

    function f() external view returns (uint256) {
        return a[2];
    }
}