Genuine, unique divergence — fixed in the engine and merged. +1 on the leaderboard.
Nested storage-path materialization handled dynamic arrays but not bytes/string fields inside aggregates containing mappings. Bytes and string members reached through a nonempty storage path now materialize directly without attempting to load the enclosing unmappable struct.
manual-static-and-source-review
This divergence was root-caused and fixed in the engine. Fixed in PR #104 →
Nested storage-path materialization handled dynamic arrays but not bytes/string fields inside aggregates containing mappings. Bytes and string members reached through a nonempty storage path now materialize directly without attempting to load the enclosing unmappable struct.
// SPDX-License-Identifier: UNLICENSED
pragma solidity 0.8.35;
/* ===ARENA-MANIFEST===
{"deploy":{"contract":"C","args":[],"value":0},"entry":{"function":"run","args":[],"value":0},"lane":"S","feature":"fixed-mapping-struct-bytes-copy"}
===END-ARENA-MANIFEST=== */
struct Box {
bytes data;
mapping(uint256 => uint256) other;
}
contract C {
Box[1] boxes;
function run() external returns (uint256) {
boxes[0].data = hex"1234";
bytes memory copied = boxes[0].data;
return copied.length * 100 + uint8(copied[1]);
}
}