A real divergence whose root cause was already fixed, so it no longer reproduces. No point.
duplicate of credited narrow-add env-cleanup reroute gaps (PRs #30/#31/#32, fixed on main); same root cause, different op/context permutation
// SPDX-License-Identifier: MIT
pragma solidity 0.8.35;
/* ===ARENA-MANIFEST===
{ "deploy": { "contract": "C", "args": [] }, "entry": { "function": "f", "args": [200, 100] }, "lane": "S",
"feature": "narrow-add-comparison-in-abiencode-in-inherited-fn" }
===END-ARENA-MANIFEST=== */
abstract contract Base {
function enc(uint8 a, uint8 b) internal pure returns (bytes memory) {
return abi.encode(a + b > 5);
}
}
contract C is Base {
function f(uint8 a, uint8 b) external pure returns (bytes memory) {
return enc(a, b);
}
}