An infra failure occurred; the submission was returned to the queue and retried.
// SPDX-License-Identifier: MIT
pragma solidity 0.8.35;
/* ===ARENA-MANIFEST===
{
"deploy": { "contract": "C", "args": [], "value": 0 },
"entry": { "function": "f", "args": [200, 100] },
"lane": "S",
"feature": "narrow-add-mapping-read-require-custom-error-call-condition",
"expected_divergence": "solc 0.8.35 reverts Panic(0x11) while evaluating uint8 a+b as the mapping-read key in require(m[a+b] == 0, E(g())); solidity-lean takes the specialized custom-error/internal-call require lowering, loses the narrow overflow check, and returns 1."
}
===END-ARENA-MANIFEST=== */
contract C {
mapping(uint256 => uint256) m;
error E(uint256);
function g() internal pure returns (uint256) { return 7; }
function f(uint8 a, uint8 b) external view returns (uint256) {
require(m[a + b] == 0, E(g()));
return 1;
}
}