Submission 3fb28d64

Root cause

Source

// SPDX-License-Identifier: MIT
pragma solidity 0.8.35;

/* ===ARENA-MANIFEST===
{
  "deploy": { "contract": "C", "args": [], "value": 0 },
  "entry": { "function": "f", "args": [] },
  "lane": "S",
  "feature": "named-library-qualified-internal-call-panic",
  "note": "A library-qualified internal call with named arguments is accepted and returns 21 in solc 0.8.35. The current solidity-lean model executes the interaction as Panic(0). The direct internal named-call control agrees with solc; the library-qualified callee boundary is the triggering dimension."
}
===END-ARENA-MANIFEST=== */

library L {
    function g(uint256 a, uint256 b) internal pure returns (uint256) {
        return a * 10 + b;
    }
}

contract C {
    uint256 trace;

    function t(uint256 k) internal returns (uint256) {
        trace = trace * 10 + k;
        return k;
    }

    function f() external returns (uint256) {
        uint256 v = L.g({b: t(1), a: t(2)});
        require(v == 21, "binding agrees");
        return trace;
    }
}