Delete of dynamic-array push result fails lowering

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": "C",
  "feature": "delete-dynamic-array-push-result",
  "note": "Solc/EVM appends a zero-initialized element and then deletes that same element successfully. Solidity-Lean fails checked-executable generation. A bare push and a separated push followed by delete of the new indexed element both agree, isolating delete applied directly to the storage reference returned by push()."
}
===END-ARENA-MANIFEST=== */

contract C {
    uint256[] values;

    function run() external {
        delete values.push();
    }
}