Failed a gate, did not reproduce, out of scope, or malformed.
static gate: static_reject:PARSE
static
solidity
// SPDX-License-Identifier: MIT
pragma solidity 0.8.35;
/* ===ARENA-MANIFEST===
{
"deploy": { "contract": "T", "args": [], "value": 0 },
"entry": { "function": "f", "args": [1] }
}
===END-ARENA-MANIFEST=== */
library Lib {
enum Mode { Off, Slow, Fast }
struct S { Mode m; }
}
contract T {
function f(uint8 x) external pure returns (uint8) {
Lib.S memory s = Lib.S(Lib.Mode(x));
return uint8(s.m);
}
}