for-init declaration from ternary returns Panic(0)

Source

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

/* ===ARENA-MANIFEST===
{
  "deploy": { "contract": "T", "args": [], "value": 0 },
  "entry":  { "function": "f", "args": [true] },
  "note":   "SOUNDNESS_GAP: a for-loop initializer declaration whose value comes from a TERNARY. solc 0.8.35 returns 6 (the loop sums 1+2+3); solidity-lean runs and reverts Panic(0). A ternary in the for-CONDITION works, and a ternary initializer for an ordinary local declaration works, so the gap is the ternary-shaped initializer in the for-init slot specifically."
}
===END-ARENA-MANIFEST=== */

contract T {
    function f(bool c) external pure returns (uint256) {
        uint256 acc;
        for (uint256 i = c ? 1 : 0; i < 4; i++) {
            acc += i;
        }
        return acc;
    }
}