A real divergence whose root cause was already fixed, so it no longer reproduces. No point.
duplicate of pending representative narrow-bitnot-mask-in-abiencode-arg (kept as the single bitnot-family submission)
// SPDX-License-Identifier: MIT
pragma solidity 0.8.35;
/* ===ARENA-MANIFEST===
{ "deploy": { "contract": "C", "args": [] }, "entry": { "function": "f", "args": [1, 0] }, "lane": "S",
"feature": "narrow-bitnot-mask-in-keccak-abiencode-arg" }
===END-ARENA-MANIFEST=== */
contract C {
function f(uint8 a, uint8 b) external pure returns (bytes32) {
return keccak256(abi.encode(~a));
}
}