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": "bytes1-bitwise-wrapper-narrow-add",
"expected_divergence": "solc 0.8.35 reverts Panic(0x11): uint8(a+b) overflows before the bitwise mask and bytes1 conversion. solidity-lean misses cleanup through the outer bytes1 wrapper, evaluates at word width, and returns bytes1(44)."
}
===END-ARENA-MANIFEST=== */
contract C {
function f(uint8 a, uint8 b) external pure returns (bytes memory) {
return abi.encode(bytes1((a + b) & 255));
}
}