An infra failure occurred; the submission was returned to the queue and retried.
pragma solidity 0.8.35;
/* ===ARENA-MANIFEST===
{
"deploy": { "contract": "T", "args": [] },
"entry": { "function": "run", "args": [] },
"feature": "msg-shadow-struct-selector-member",
"note": "solc 0.8.35 deploys T and run() returns success|w:9. solidity-lean fails closed with TypeError.unsupported member selector because a local struct named msg shadows the builtin, but its ordinary selector field is intercepted by the special .selector checker."
}
===END-ARENA-MANIFEST=== */
contract T{struct M{uint selector;}function run()public pure returns(uint){M memory msg;msg.selector=9;return msg.selector;}}